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-11638-serial-file.bin HOME/instance-4388367-1568298755.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 16:31:50 CEST 2019
0.66/0.55 c PID: 11641
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.26/1.56 c (1,1) Parsing End
3.26/1.59 c (1,1) CSP: 291 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 26
3.26/1.59 c (1,1) Heap : 451 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.26/1.59 c (1,1) Constraint Name Generate Begin
3.26/1.59 c (1,1) Ctr:HOME/instance-4388367-1568298755.xml,ExtensionSupport:Var
3.26/1.59 c (1,1) Constraint Name Generate End
3.26/1.59 c (1,1) Heap : 451 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.26/1.59 c (1,1) CSP to CSPinCNF Begin
21.99/12.43 c (11,11) translated 13 (10%) constraints
32.51/21.90 c (21,20) translated 26 (20%) constraints
42.54/30.72 c (30,29) translated 38 (30%) constraints
53.60/40.33 c (39,38) translated 51 (40%) constraints
64.34/49.36 c (48,46) translated 63 (50%) constraints
69.70/51.93 c (51,48) translated 76 (60%) constraints
98.27/76.15 c (75,71) translated 89 (70%) constraints
279.74/230.52 c (229,217) translated 101 (80%) constraints
351.99/294.79 c (294,278) translated 114 (90%) constraints
383.85/323.77 c (323,306) translated 126 (100%) constraints
400.42/338.49 c (337,321) ===========================================
400.53/338.53 c (337,321) Order
400.53/338.53 c (337,321) ===========================================
413.22/349.78 c (349,332) translated 585457 (10%) constraints
426.14/361.22 c (360,343) translated 1170914 (20%) constraints
439.37/373.09 c (372,354) translated 1756371 (30%) constraints
454.51/385.42 c (384,365) translated 2341828 (40%) constraints
467.87/397.31 c (396,377) translated 2927285 (50%) constraints
480.34/408.41 c (407,387) translated 3512742 (60%) constraints
493.19/419.82 c (419,398) translated 4098199 (70%) constraints
571.35/448.10 c (447,410) translated 4683656 (80%) constraints
583.86/459.75 c (459,421) translated 5269113 (90%) constraints
596.75/471.21 c (470,432) translated 5854569 (100%) constraints
596.75/471.21 c (470,432) CSP to CSPinCNF End
597.00/471.40 c (470,432) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
597.00/471.40 c (470,432) Heap : 8417 MiB used (max 10959 MiB), NonHeap : 27 MiB used (max 0 MiB)
597.00/471.40 c (470,432) CSPinCNF Propagation Begin
780.40/535.76 c (535,456) 0 values, 126 unsatisfiable literals, and 0 valid clauses are removed
780.40/535.76 c (535,456) CSPinCNF Propagation End
780.60/535.94 c (535,457) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
780.60/535.94 c (535,457) Heap : 7167 MiB used (max 10012 MiB), NonHeap : 27 MiB used (max 0 MiB)
780.60/535.97 c (535,457) Simplify CSPinCNF Begin
793.78/546.46 c (545,466) Simplify CSPinCNF End
793.98/546.64 c (546,466) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
793.98/546.64 c (546,466) Heap : 8268 MiB used (max 10327 MiB), NonHeap : 27 MiB used (max 0 MiB)
793.98/546.64 c (546,466) Calculate Precise Domain Begin
793.98/546.64 c (546,466) 0 values are removed by re-calculation
793.98/546.64 c (546,466) Calculate Precise Domain End
794.19/546.82 c (546,467) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
794.19/546.82 c (546,467) Heap : 8306 MiB used (max 10327 MiB), NonHeap : 27 MiB used (max 0 MiB)
794.19/546.82 c (546,467) CSPinCNF to SatSolver Begin
807.22/554.40 c (553,473) 585457 (10 %) CSP clauses are encoded (0 SAT variables, 592434 SAT clauses)
821.14/561.66 c (561,478) 1170914 (20 %) CSP clauses are encoded (0 SAT variables, 1177891 SAT clauses)
867.58/577.25 c (576,483) 1756371 (30 %) CSP clauses are encoded (0 SAT variables, 1763348 SAT clauses)
875.52/583.12 c (582,488) 2341828 (40 %) CSP clauses are encoded (0 SAT variables, 2348805 SAT clauses)
883.95/589.15 c (588,493) 2927285 (50 %) CSP clauses are encoded (0 SAT variables, 2934262 SAT clauses)
891.52/594.56 c (594,498) 3512742 (60 %) CSP clauses are encoded (0 SAT variables, 3519719 SAT clauses)
902.01/600.85 c (600,503) 4098199 (70 %) CSP clauses are encoded (0 SAT variables, 4105176 SAT clauses)
911.66/607.18 c (606,508) 4683656 (80 %) CSP clauses are encoded (0 SAT variables, 4690633 SAT clauses)
924.06/614.20 c (613,513) 5269113 (90 %) CSP clauses are encoded (0 SAT variables, 5276090 SAT clauses)
936.33/620.97 c (620,518) 5854569 (100 %) CSP clauses are encoded (0 SAT variables, 5861546 SAT clauses)
936.33/620.97 c (620,518) CSPinCNF to SatSolver End
936.33/620.97 c (620,518) Heap : 6952 MiB used (max 10239 MiB), NonHeap : 28 MiB used (max 0 MiB)
936.33/620.98 c (620,518) 619855 bool, 5861547 clause
936.33/620.98 c (620,518) Export Begin
936.47/621.10 c (620,518) Export to HOME/scop-11638-serial-file.bin
936.47/621.10 c (620,518) Export End
936.47/621.10 c (620,518) Export File Size: 0.06 MB
936.47/621.10 c (620,518) 1,1,470,535,546,546,620,STOP-AFTER(DIMACS)
936.47/621.10 c END-Prog: Thu Sep 12 16:42:11 CEST 2019
936.67/621.15 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11638-serial-file.bin
936.72/621.61 c (0,0) Read Serial File Begin
936.72/621.61 c (0,0) HOME/scop-11638-serial-file.bin
936.72/621.86 c (0,0) Read Serial File End
936.72/621.87
936.72/621.87 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
936.72/621.87 (Solving Process)
936.72/621.87
936.72/621.89 c BEGIN-Prog: Thu Sep 12 16:42:12 CEST 2019
936.72/621.89 c PID: 11833
936.72/621.89 c IP: 172.20.3.102
936.72/621.89 c HOST: node102.alineos.net
936.72/621.90 c (0,0) SatSolver.solve Begin
936.72/621.90 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388367-1568298755.xml-scop-11641.cnf
936.72/621.95 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
936.72/621.95 c (0,0) c glueminisat-simp-2.2.10-193oa-n
936.72/621.95 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388367-1568298755.xml-scop-11641.cnf
936.72/621.95 c (0,0) c Options:
936.72/621.95 c (0,0) c CORE
936.72/621.95 c (0,0) c var_decay = 0.950
936.72/621.95 c (0,0) c clause_decay = 0.999
936.72/621.95 c (0,0) c random_var_freq = 0.000
936.72/621.95 c (0,0) c random_seed = 91648253.000
936.72/621.95 c (0,0) c luby_restart = 1
936.72/621.95 c (0,0) c ccmin_mode = 2
936.72/621.95 c (0,0) c phase_saving = 2
936.72/621.95 c (0,0) c rnd_pol = 0
936.72/621.95 c (0,0) c rnd_init_act = 0
936.72/621.95 c (0,0) c garbage_frac = 0.200
936.72/621.95 c (0,0) c restart_first = 1000
936.72/621.95 c (0,0) c restart_inc = 2.000
936.72/621.95 c (0,0) c MODEL
936.72/621.95 c (0,0) c partial_model = 0
936.72/621.95 c (0,0) c PROPAGATION
936.72/621.95 c (0,0) c bin_propagation = 1
936.72/621.95 c (0,0) c SIMPLIFICATION
936.72/621.95 c (0,0) c lrn_min_size = 100
936.72/621.95 c (0,0) c lazy_simp = 1
936.72/621.95 c (0,0) c lazy_interval = 10
936.72/621.95 c (0,0) c lazy_fld_probing = 1
936.72/621.95 c (0,0) c lazy_pol_probing = 1
936.72/621.95 c (0,0) c lazy_nec_probing = 1
936.72/621.95 c (0,0) c lazy_eqv_probing = 1
936.72/621.95 c (0,0) c lazy_cla_probing = 1
936.72/621.95 c (0,0) c lazy_lrn_min = 2
936.72/621.95 c (0,0) c lazy_uw_lit_elim = 1
936.72/621.95 c (0,0) c lazy_pr_lit_elim = 0
936.72/621.95 c (0,0) c lazy_bin_add = 3
936.72/621.95 c (0,0) c probed_lit_chain = 1
936.72/621.95 c (0,0) c pr_min_lits = 0.00020
936.72/621.95 c (0,0) c pr_min_starts = 500
936.72/621.95 c (0,0) c rw_min_lits = 0.010
936.72/621.95 c (0,0) c rw_min_starts = 500
936.72/621.95 c (0,0) c rand_attach = 0
936.72/621.95 c (0,0) c dec_elim = 1
936.72/621.95 c (0,0) c dec_elim_lim = 25
936.72/621.95 c (0,0) c dec_elim_len = -1
936.72/621.95 c (0,0) c amo = 0
936.72/621.95 c (0,0) c amo_grp = 1
936.72/621.95 c (0,0) c amo_max_bins = 1000000
936.72/621.95 c (0,0) c amo_starts = 50
936.72/621.95 c (0,0) c mace_cmd = mace
936.72/621.95 c (0,0) c DECISION
936.72/621.95 c (0,0) c rand_rebuild = 0
936.72/621.95 c (0,0) c rand_rebuild_confs = 10000
936.72/621.95 c (0,0) c inc_var_decay = 1
936.72/621.95 c (0,0) c inc_var_decay_period = 100000
936.72/621.95 c (0,0) c inc_var_decay_init = 0.600
936.72/621.95 c (0,0) c var_decay_mode = 0
936.72/621.95 c (0,0) c var_decay_gain = 0
936.72/621.95 c (0,0) c sloped_var_decay = 1
936.72/621.95 c (0,0) c max_var_decay = 0.990
936.72/621.95 c (0,0) c min_var_decay = 0.950
936.72/621.95 c (0,0) c min_var_decay_vars = 10000
936.72/621.95 c (0,0) c max_var_decay_vars = 500
936.72/621.95 c (0,0) c uip_bumping = 1
936.72/621.95 c (0,0) c lbd_act_bumping = 1
936.72/621.95 c (0,0) c rand_tiebreak = 0
936.72/621.95 c (0,0) c simp_rebuild = 1
936.72/621.95 c (0,0) c RESTART
936.72/621.95 c (0,0) c restart_strategy = 2
936.72/621.95 c (0,0) c restart_blocking = 0
936.72/621.95 c (0,0) c agility_decay = 0.99990
936.72/621.95 c (0,0) c lbd_restart_rate = 0.800
936.72/621.95 c (0,0) c dec_restart_rate = 0.950
936.72/621.95 c (0,0) c blk_restart_rate = 0.700
936.72/621.95 c (0,0) c lbd_queue_size = 50
936.72/621.95 c (0,0) c dec_queue_size = 50
936.72/621.95 c (0,0) c trl_queue_size = 5000
936.72/621.95 c (0,0) c blk_restart_weight = 1.000
936.72/621.95 c (0,0) c inc_rst_rate = 0
936.72/621.95 c (0,0) c inc_rst_rate_period = 500000
936.72/621.95 c (0,0) c inc_lbd_rst_rate_init = 0.600
936.72/621.95 c (0,0) c inc_dec_rst_rate_init = 0.750
936.72/621.95 c (0,0) c REDUCTION
936.72/621.95 c (0,0) c closed_lbd = 0
936.72/621.95 c (0,0) c closed_lbd_rate = 0.500
936.72/621.95 c (0,0) c rm_simulate = 0
936.72/621.95 c (0,0) c rdb_eval = 2
936.72/621.95 c (0,0) c rdb_call = 3
936.72/621.95 c (0,0) c rdb_ub = 0.500
936.72/621.95 c (0,0) c core_lbd_cvr = 0.800
936.72/621.95 c (0,0) c supp_lbd_cvr = 0.990
936.72/621.95 c (0,0) c core_lbd_lb = 2
936.72/621.95 c (0,0) c supp_lbd_lb = 2
936.72/621.95 c (0,0) c core_lbd_prd = 7
936.72/621.95 c (0,0) c supp_lbd_prd = 1
936.72/621.95 c (0,0) c othr_lbd_prd = 0
936.72/621.95 c (0,0) c inc_lrn_limit = 1000
936.72/621.95 c (0,0) c frozen_lbd = 30
936.72/621.95 c (0,0) c simp_min_starts = 100
936.72/621.95 c (0,0) c rm_low_act_learnts = 1
936.72/621.95 c (0,0) c lv0_reduce_db = 0
936.72/621.95 c (0,0) c reduce_db_base = 20000
936.72/621.95 c (0,0) c reduce_db_inc = 1000
936.72/621.95 c (0,0) c HARD
936.72/621.95 c (0,0) c inst_check = 200000
936.72/621.95 c (0,0) c small_block = 1.750
936.72/621.95 c (0,0) c slow_restart_speed = 400.000
936.72/621.95 c (0,0) c slow_restart_strategy = 3
936.72/621.95 c (0,0) c slow_lbd_restart_rate = 0.700
936.72/621.95 c (0,0) c slow_dec_restart_rate = 1.000
936.72/621.95 c (0,0) c slow_lbd_queue_size = 50
936.72/621.95 c (0,0) c slow_var_decay = 0.950
936.72/621.95 c (0,0) c slow_glue_threshold = 2
936.72/621.95 c (0,0) c slow_phase_saving = 2
936.72/621.95 c (0,0) c fast_restart_speed = 125.000
936.72/621.95 c (0,0) c fast_restart_strategy = 1
936.72/621.95 c (0,0) c fast_lbd_restart_rate = 0.800
936.72/621.95 c (0,0) c fast_dec_restart_rate = 0.950
936.72/621.95 c (0,0) c fast_lbd_queue_size = 50
936.72/621.95 c (0,0) c fast_var_decay = 1.000
936.72/621.95 c (0,0) c fast_glue_threshold = 2
936.72/621.95 c (0,0) c fast_phase_saving = 2
936.72/621.95 c (0,0) c STATS
936.72/621.95 c (0,0) c stats_conf_size = 10000
936.72/621.95 c (0,0) c max_stats_size = 30
936.72/621.95 c (0,0) c SOLVER
936.72/621.95 c (0,0) c minisat = 0
940.35/624.20 c (2,0) c Problem: 619855 variables, 5861454 clauses, parsing 2.09 s
940.65/624.56 c (3,0) c exclude 129171 (20.8%) variables from decision variables (last cost 25)
941.15/625.06 c (3,0) c Simplification: 129171 vars, 0 clauses are eliminated using 0.81 s
941.15/625.06 c (3,0) c
941.15/625.06 c (3,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
941.15/625.06 c (3,0) c
941.15/625.06 c (3,0) c 3 0 0 490684 5861454 0 -nan -nan -nan -nan%
941.35/625.25 c (3,0) c 3 1 100 490776 5861454 100 327.8 8.7 5090.7 22.6%
941.95/625.83 c (4,0) c 3 3 220 490944 5861454 226 191.5 10.9 3851.7 33.4%
942.16/626.05 c (4,0) c 4 3 364 491323 5861454 373 177.0 10.6 2809.0 48.5%
942.16/626.08 c (4,0) c 4 3 536 491360 5861454 545 165.8 9.3 2292.6 58.5%
942.45/626.34 c (4,0) c 4 3 743 491506 5861454 753 152.1 8.6 1988.0 64.1%
943.05/626.90 c (5,0) c 4 3 991 491982 5861454 1018 127.7 7.9 1719.7 66.9%
943.46/627.39 c (5,0) c 5 5 1289 492652 5861454 1331 133.5 10.0 1393.0 60.4%
943.95/627.88 c (6,0) c 5 6 1647 492807 5861454 1721 111.9 9.2 1195.1 56.6%
944.76/628.64 c (7,0) c 6 6 2076 493390 5861454 2179 102.6 8.5 1066.3 60.0%
944.85/628.71 c (7,0) c 6 6 2161 493452 5861454 2273 100.4 8.4 1063.2 61.4%
944.85/628.74 c (7,0) c
944.85/628.74 c (7,0) c
944.85/628.74 c (7,0) c variables : 493452 (init 619855, after simp 490684, 126403 non-decs, 291 csp)
944.85/628.74 c (7,0) c clauses : 5861454 (init 5861454, after simp 5861454)
944.85/628.74 c (7,0) c restarts : 5 (360.17 confs/res, 51~1017 confs, 0 blks, 0 last)
944.85/628.74 c (7,0) c conflicts : 2161 (333 /sec, 63.58% dconfs, 0.00% supp, trail 707.32w x 1063.17h, jmp 31.24h)
944.85/628.74 c (7,0) c decisions : 78295 (0.6000 vdcy, 12060 /sec, 0.00% bin, rs 0.005 s)
944.85/628.74 c (7,0) c propagations : 13034982 (2007833 /sec, 166.49 lits/dec, 0.65% o.a.)
944.85/628.74 c (7,0) c conflict literals : 275537 (17.17% deleted; 0.12% by bin min, 0.001 s)
944.85/628.74 c (7,0) c len : 100.369 (105.47 for all, max 2461, used 2409)
944.85/628.74 c (7,0) c lbd : 8.413 (9.66 (8.75) for all, max 423, used 203, 7.520 stdev, 10.921 blk)
944.85/628.74 c (7,0) c amo : 0 (0 max, -nan avg, 0.000 s)
944.85/628.74 c (7,0) c simp dbs : 0 (0.000 s)
944.85/628.74 c (7,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
944.85/628.74 c (7,0) c learnts : 2273 (0 learnts removed, 0.00%)
944.85/628.74 c (7,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
944.85/628.74 c (7,0) c assigned lits : 0 (0/0 probed, 0 remains)
944.85/628.74 c (7,0) c premise updates : 0 (0.00 /lit)
944.85/628.74 c (7,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
944.85/628.74 c (7,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
944.85/628.74 c (7,0) c lazy added bins : 112 (112 prop + 0 conf, 0.016s)
944.85/628.74 c (7,0) c unwatched lit elim: 453 (0.00+0.08%, 234+219 of 19762491+275537)
944.85/628.74 c (7,0) c classified type : undef
944.85/628.74 c (7,0) c progress : 0.000 %
944.85/628.74 c (7,0) c
944.85/628.74 c (7,0) c [Statistics]
944.85/628.74 c (7,0) c learnts len learnts lbd lit blk size eq vars size
944.85/628.74 c (7,0) c tot 2161 2161 20869 0
944.85/628.74 c (7,0) c avg 105.467 8.745 10.921 -nan
944.85/628.74 c (7,0) c 1 0 ( 0.0%) 3 ( 0.1%) 14783 (70.8%) 0 (-nan%)
944.85/628.74 c (7,0) c 2 62 ( 2.9%) 247 (11.4%) 1517 ( 7.3%) 0 (-nan%)
944.85/628.74 c (7,0) c 3 148 ( 6.8%) 342 (15.8%) 748 ( 3.6%) 0 (-nan%)
944.85/628.74 c (7,0) c 4 167 ( 7.7%) 267 (12.4%) 463 ( 2.2%) 0 (-nan%)
944.85/628.74 c (7,0) c 5 113 ( 5.2%) 241 (11.2%) 317 ( 1.5%) 0 (-nan%)
944.85/628.74 c (7,0) c 6 87 ( 4.0%) 184 ( 8.5%) 225 ( 1.1%) 0 (-nan%)
944.85/628.74 c (7,0) c 7 79 ( 3.7%) 161 ( 7.5%) 214 ( 1.0%) 0 (-nan%)
944.85/628.74 c (7,0) c 8 53 ( 2.5%) 141 ( 6.5%) 184 ( 0.9%) 0 (-nan%)
944.85/628.74 c (7,0) c 9 34 ( 1.6%) 88 ( 4.1%) 136 ( 0.7%) 0 (-nan%)
944.85/628.74 c (7,0) c 10 35 ( 1.6%) 85 ( 3.9%) 127 ( 0.6%) 0 (-nan%)
944.85/628.74 c (7,0) c 11 37 ( 1.7%) 74 ( 3.4%) 139 ( 0.7%) 0 (-nan%)
944.85/628.74 c (7,0) c 12 36 ( 1.7%) 68 ( 3.1%) 101 ( 0.5%) 0 (-nan%)
944.85/628.74 c (7,0) c 13 30 ( 1.4%) 31 ( 1.4%) 82 ( 0.4%) 0 (-nan%)
944.85/628.74 c (7,0) c 14 27 ( 1.2%) 39 ( 1.8%) 87 ( 0.4%) 0 (-nan%)
944.85/628.74 c (7,0) c 15 25 ( 1.2%) 26 ( 1.2%) 83 ( 0.4%) 0 (-nan%)
944.85/628.74 c (7,0) c 16 26 ( 1.2%) 30 ( 1.4%) 104 ( 0.5%) 0 (-nan%)
944.85/628.74 c (7,0) c 17 19 ( 0.9%) 18 ( 0.8%) 65 ( 0.3%) 0 (-nan%)
944.85/628.74 c (7,0) c 18 22 ( 1.0%) 18 ( 0.8%) 73 ( 0.3%) 0 (-nan%)
944.85/628.74 c (7,0) c 19 34 ( 1.6%) 11 ( 0.5%) 67 ( 0.3%) 0 (-nan%)
944.85/628.74 c (7,0) c 20 28 ( 1.3%) 7 ( 0.3%) 65 ( 0.3%) 0 (-nan%)
944.85/628.74 c (7,0) c 21 20 ( 0.9%) 9 ( 0.4%) 41 ( 0.2%) 0 (-nan%)
944.85/628.74 c (7,0) c 22 20 ( 0.9%) 6 ( 0.3%) 44 ( 0.2%) 0 (-nan%)
944.85/628.74 c (7,0) c 23 26 ( 1.2%) 3 ( 0.1%) 52 ( 0.2%) 0 (-nan%)
944.85/628.74 c (7,0) c 24 25 ( 1.2%) 5 ( 0.2%) 32 ( 0.2%) 0 (-nan%)
944.85/628.74 c (7,0) c 25 33 ( 1.5%) 2 ( 0.1%) 31 ( 0.1%) 0 (-nan%)
944.85/628.74 c (7,0) c 26 37 ( 1.7%) 5 ( 0.2%) 20 ( 0.1%) 0 (-nan%)
944.85/628.74 c (7,0) c 27 48 ( 2.2%) 3 ( 0.1%) 27 ( 0.1%) 0 (-nan%)
944.85/628.74 c (7,0) c 28 43 ( 2.0%) 3 ( 0.1%) 35 ( 0.2%) 0 (-nan%)
944.85/628.74 c (7,0) c 29 15 ( 0.7%) 3 ( 0.1%) 19 ( 0.1%) 0 (-nan%)
944.85/628.74 c (7,0) c 30 832 (38.5%) 41 ( 1.9%) 988 ( 4.7%) 0 (-nan%)
944.85/628.74 c (7,0) c
944.85/628.74 c (7,0) c [LBD Statistics]
944.85/628.74 c (7,0) c LBD used lbd used clause lbd unused clause lbd
944.85/628.74 c (7,0) c tot 2310 968 1305
944.85/628.74 c (7,0) c avg 5.787 6.070 10.151
944.85/628.74 c (7,0) c 1 7 ( 0.3/ 0.3%) 3 ( 0.3/ 0.3%) 0 ( 0.0/ 0.0%)
944.85/628.74 c (7,0) c 2 469 (20.3/20.6%) 249 (25.7/26.0%) 110 ( 8.4/ 8.4%)
944.85/628.74 c (7,0) c 3 463 (20.0/40.6%) 159 (16.4/42.5%) 183 (14.0/22.5%)
944.85/628.74 c (7,0) c 4 293 (12.7/53.3%) 121 (12.5/55.0%) 146 (11.2/33.6%)
944.85/628.74 c (7,0) c 5 268 (11.6/64.9%) 108 (11.2/66.1%) 133 (10.2/43.8%)
944.85/628.74 c (7,0) c 6 199 ( 8.6/73.5%) 80 ( 8.3/74.4%) 104 ( 8.0/51.8%)
944.85/628.74 c (7,0) c 7 106 ( 4.6/78.1%) 49 ( 5.1/79.4%) 112 ( 8.6/60.4%)
944.85/628.74 c (7,0) c 8 97 ( 4.2/82.3%) 37 ( 3.8/83.3%) 104 ( 8.0/68.4%)
944.85/628.74 c (7,0) c 9 104 ( 4.5/86.8%) 29 ( 3.0/86.3%) 59 ( 4.5/72.9%)
944.85/628.74 c (7,0) c 10 79 ( 3.4/90.3%) 25 ( 2.6/88.8%) 60 ( 4.6/77.5%)
944.85/628.74 c (7,0) c 11 41 ( 1.8/92.0%) 19 ( 2.0/90.8%) 55 ( 4.2/81.7%)
944.85/628.74 c (7,0) c 12 37 ( 1.6/93.6%) 18 ( 1.9/92.7%) 50 ( 3.8/85.5%)
944.85/628.74 c (7,0) c 13 30 ( 1.3/94.9%) 7 ( 0.7/93.4%) 24 ( 1.8/87.4%)
944.85/628.74 c (7,0) c 14 11 ( 0.5/95.4%) 14 ( 1.4/94.8%) 25 ( 1.9/89.3%)
944.85/628.74 c (7,0) c 15 9 ( 0.4/95.8%) 4 ( 0.4/95.2%) 22 ( 1.7/91.0%)
944.85/628.74 c (7,0) c 16 22 ( 1.0/96.8%) 7 ( 0.7/96.0%) 23 ( 1.8/92.7%)
944.85/628.74 c (7,0) c 17 14 ( 0.6/97.4%) 8 ( 0.8/96.8%) 10 ( 0.8/93.5%)
944.85/628.74 c (7,0) c 18 16 ( 0.7/98.1%) 8 ( 0.8/97.6%) 10 ( 0.8/94.3%)
944.85/628.74 c (7,0) c 19 9 ( 0.4/98.4%) 2 ( 0.2/97.8%) 9 ( 0.7/94.9%)
944.85/628.74 c (7,0) c 20 7 ( 0.3/98.7%) 2 ( 0.2/98.0%) 5 ( 0.4/95.3%)
944.85/628.74 c (7,0) c 21 2 ( 0.1/98.8%) 2 ( 0.2/98.2%) 7 ( 0.5/95.9%)
944.85/628.74 c (7,0) c 22 5 ( 0.2/99.0%) 2 ( 0.2/98.5%) 4 ( 0.3/96.2%)
944.85/628.74 c (7,0) c 23 1 ( 0.0/99.1%) 0 ( 0.0/98.5%) 3 ( 0.2/96.4%)
944.85/628.74 c (7,0) c 24 1 ( 0.0/99.1%) 1 ( 0.1/98.6%) 4 ( 0.3/96.7%)
944.85/628.74 c (7,0) c 25 2 ( 0.1/99.2%) 0 ( 0.0/98.6%) 2 ( 0.2/96.9%)
944.85/628.74 c (7,0) c 26 3 ( 0.1/99.4%) 3 ( 0.3/98.9%) 2 ( 0.2/97.0%)
944.85/628.74 c (7,0) c 27 0 ( 0.0/99.4%) 0 ( 0.0/98.9%) 3 ( 0.2/97.2%)
944.85/628.74 c (7,0) c 28 0 ( 0.0/99.4%) 0 ( 0.0/98.9%) 3 ( 0.2/97.5%)
944.85/628.74 c (7,0) c 29 0 ( 0.0/99.4%) 0 ( 0.0/98.9%) 3 ( 0.2/97.7%)
944.85/628.74 c (7,0) c 30 1 ( 0.0/99.4%) 0 ( 0.0/98.9%) 0 ( 0.0/97.7%)
944.85/628.74 c (7,0) c 31 0 ( 0.0/99.4%) 0 ( 0.0/98.9%) 1 ( 0.1/97.8%)
944.85/628.74 c (7,0) c 32 1 ( 0.0/99.4%) 1 ( 0.1/99.0%) 1 ( 0.1/97.9%)
944.85/628.74 c (7,0) c 33 1 ( 0.0/99.5%) 2 ( 0.2/99.2%) 0 ( 0.0/97.9%)
944.85/628.74 c (7,0) c 34 2 ( 0.1/99.6%) 0 ( 0.0/99.2%) 3 ( 0.2/98.1%)
944.85/628.74 c (7,0) c 35 1 ( 0.0/99.6%) 1 ( 0.1/99.3%) 3 ( 0.2/98.3%)
944.85/628.74 c (7,0) c 36 1 ( 0.0/99.7%) 1 ( 0.1/99.4%) 0 ( 0.0/98.3%)
944.85/628.74 c (7,0) c 37 1 ( 0.0/99.7%) 0 ( 0.0/99.4%) 2 ( 0.2/98.5%)
944.85/628.74 c (7,0) c 38 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 1 ( 0.1/98.5%)
944.85/628.74 c (7,0) c 39 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 0 ( 0.0/98.5%)
944.85/628.74 c (7,0) c 40 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 1 ( 0.1/98.6%)
944.85/628.74 c (7,0) c 41 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 0 ( 0.0/98.6%)
944.85/628.74 c (7,0) c 42 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 0 ( 0.0/98.6%)
944.85/628.74 c (7,0) c 43 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 1 ( 0.1/98.7%)
944.85/628.74 c (7,0) c 44 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 0 ( 0.0/98.7%)
944.85/628.74 c (7,0) c 45 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 0 ( 0.0/98.7%)
944.85/628.74 c (7,0) c 46 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 1 ( 0.1/98.8%)
944.85/628.74 c (7,0) c 47 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 1 ( 0.1/98.9%)
944.85/628.74 c (7,0) c 48 0 ( 0.0/99.7%) 0 ( 0.0/99.4%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 49 1 ( 0.0/99.7%) 2 ( 0.2/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 50 0 ( 0.0/99.7%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 51 0 ( 0.0/99.7%) 0 ( 0.0/99.6%) 1 ( 0.1/98.9%)
944.85/628.74 c (7,0) c 52 0 ( 0.0/99.7%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 53 0 ( 0.0/99.7%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 54 1 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 55 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 56 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 57 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 58 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 59 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 60 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 61 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 62 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 63 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 64 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 65 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 66 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 67 1 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 68 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 69 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 70 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 71 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 72 0 ( 0.0/99.8%) 0 ( 0.0/99.6%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 73 0 ( 0.0/99.8%) 1 ( 0.1/99.7%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 74 0 ( 0.0/99.8%) 0 ( 0.0/99.7%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 75 0 ( 0.0/99.8%) 0 ( 0.0/99.7%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 76 0 ( 0.0/99.8%) 0 ( 0.0/99.7%) 0 ( 0.0/98.9%)
944.85/628.74 c (7,0) c 77 0 ( 0.0/99.8%) 0 ( 0.0/99.7%) 0 ( 0.0/98.9%)
944.85/628.75 c (7,0) c 78 0 ( 0.0/99.8%) 0 ( 0.0/99.7%) 0 ( 0.0/98.9%)
944.85/628.75 c (7,0) c 79 1 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/98.9%)
944.85/628.75 c (7,0) c 80 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/98.9%)
944.85/628.75 c (7,0) c 81 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 2 ( 0.2/99.1%)
944.85/628.75 c (7,0) c 82 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.1%)
944.85/628.75 c (7,0) c 83 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.1%)
944.85/628.75 c (7,0) c 84 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.1%)
944.85/628.75 c (7,0) c 85 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.1%)
944.85/628.75 c (7,0) c 86 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.1%)
944.85/628.75 c (7,0) c 87 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.1%)
944.85/628.75 c (7,0) c 88 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.1%)
944.85/628.75 c (7,0) c 89 1 ( 0.0/99.9%) 1 ( 0.1/99.8%) 1 ( 0.1/99.2%)
944.85/628.75 c (7,0) c 90 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 91 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 92 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 1 ( 0.1/99.2%)
944.85/628.75 c (7,0) c 93 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 94 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 95 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 96 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 97 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 98 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 99 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.2%)
944.85/628.75 c (7,0) c 100 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 1 ( 0.1/99.3%)
944.85/628.75 c (7,0) c 101 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 102 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 103 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 104 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 105 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 106 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 107 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 108 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 109 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 110 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 111 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 112 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 113 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 114 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 115 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 116 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 117 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 118 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 119 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 120 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 121 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 122 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 123 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 124 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 125 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 126 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 127 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 128 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 129 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 130 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 131 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 132 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 133 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 134 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 135 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 136 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 137 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 138 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 139 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 140 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 141 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 142 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 143 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 144 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 145 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 146 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 147 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 148 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 149 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 150 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 151 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 152 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 153 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 154 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 155 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 156 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 157 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 158 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 159 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 160 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 161 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 162 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 163 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 164 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 165 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 166 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 167 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 168 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 169 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 170 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 171 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 172 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 173 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 174 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 175 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 176 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 177 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 178 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 179 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 180 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 181 0 ( 0.0/99.9%) 0 ( 0.0/99.8%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 182 1 ( 0.0/100.0%) 1 ( 0.1/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 183 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 184 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 185 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 186 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 187 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 188 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 189 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 190 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 191 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 192 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 193 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 194 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 195 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 196 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 197 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 198 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 199 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 200 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 201 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 202 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 203 1 ( 0.0/100.0%) 1 ( 0.1/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 204 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 205 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 206 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 207 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 208 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 209 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 210 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 211 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 212 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 213 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 214 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 215 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 216 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 217 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 218 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 219 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 220 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 221 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 222 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 223 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 224 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 225 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.3%)
944.85/628.75 c (7,0) c 226 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.1/99.4%)
944.85/628.75 c (7,0) c 227 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.1/99.5%)
944.85/628.75 c (7,0) c 228 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 229 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 230 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 231 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 232 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 233 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 234 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 235 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 236 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 237 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 238 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 239 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 240 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 241 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 242 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 243 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 244 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 245 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 246 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 247 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 248 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 249 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 250 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 251 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 252 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 253 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 254 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 255 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 256 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 257 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 258 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 259 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 260 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 261 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 262 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 263 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 264 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 265 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 266 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 267 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 268 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 269 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 270 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 271 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 272 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.1/99.5%)
944.85/628.75 c (7,0) c 273 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 274 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 275 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 276 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 277 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 278 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 279 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 280 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 281 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 282 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 283 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 284 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 285 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 286 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 287 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 288 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 289 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 290 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 291 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 292 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 293 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 294 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 295 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 296 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 297 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 298 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 299 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 300 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 301 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 302 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 303 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 304 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 305 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 306 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.5%)
944.85/628.75 c (7,0) c 307 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.2/99.7%)
944.85/628.75 c (7,0) c 308 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.7%)
944.85/628.75 c (7,0) c 309 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.1/99.8%)
944.85/628.75 c (7,0) c 310 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 311 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 312 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 313 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 314 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 315 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 316 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 317 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 318 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 319 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 320 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 321 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 322 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 323 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 324 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 325 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 326 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 327 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 328 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 329 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 330 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 331 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 332 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 333 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 334 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 335 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 336 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 337 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 338 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 339 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 340 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 341 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 342 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 343 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 344 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 345 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 346 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 347 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 348 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 349 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 350 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 351 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 352 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 353 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 354 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 355 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 356 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 357 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 358 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 359 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 360 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 361 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 362 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 363 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 364 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 365 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 366 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 367 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 368 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 369 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 370 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.75 c (7,0) c 371 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 372 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 373 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 374 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 375 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 376 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 377 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 378 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 379 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 380 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 381 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.1/99.8%)
944.85/628.76 c (7,0) c 382 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 383 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 384 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 385 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 386 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 387 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 388 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 389 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 390 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 391 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 392 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 393 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 394 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 395 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 396 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 397 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 398 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 399 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 400 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 401 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 402 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 403 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 404 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 405 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 406 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 407 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 408 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 409 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 410 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 411 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 412 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 413 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.8%)
944.85/628.76 c (7,0) c 414 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.1/99.9%)
944.85/628.76 c (7,0) c 415 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.76 c (7,0) c 416 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.76 c (7,0) c 417 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.76 c (7,0) c 418 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.77 c (7,0) c 419 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.77 c (7,0) c 420 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.77 c (7,0) c 421 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.77 c (7,0) c 422 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/99.9%)
944.85/628.77 c (7,0) c 423 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.1/100.0%)
944.85/628.77 c (7,0) c
944.85/628.77 c (7,0) c Memory used : 813.00 MB
944.85/628.77 c (7,0) c CPU time : 6.493 s
944.85/628.77 c (7,0) c Real time : 6.819 s
944.85/628.77 c (7,0) c
944.85/628.77 c (7,0) s SATISFIABLE
945.43/629.10 c (7,0) SatSolver.solve End
945.43/629.10 c (7,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
945.61/629.11 c (7,0) Show results Begin
945.81/629.24 c (7,0) x[0][0] = 6
945.81/629.24 c (7,0) x[0][1] = 0
945.81/629.24 c (7,0) x[0][2] = 13
945.81/629.24 c (7,0) x[0][3] = 3
945.81/629.24 c (7,0) x[0][6] = 11
945.81/629.24 c (7,0) x[0][7] = 2
945.81/629.24 c (7,0) x[0][8] = 3
945.81/629.24 c (7,0) x[0][10] = 19
945.81/629.24 c (7,0) x[0][11] = 14
945.81/629.24 c (7,0) x[0][12] = 12
945.81/629.24 c (7,0) x[0][13] = 10
945.81/629.24 c (7,0) x[0][15] = 1
945.81/629.24 c (7,0) x[0][16] = 20
945.81/629.24 c (7,0) x[0][17] = 1
945.81/629.24 c (7,0) x[0][18] = 2
945.81/629.24 c (7,0) x[1][0] = 0
945.81/629.24 c (7,0) x[1][1] = 17
945.81/629.24 c (7,0) x[1][2] = 4
945.81/629.24 c (7,0) x[1][3] = 4
945.81/629.24 c (7,0) x[1][5] = 8
945.81/629.24 c (7,0) x[1][6] = 14
945.81/629.24 c (7,0) x[1][7] = 19
945.81/629.24 c (7,0) x[1][8] = 0
945.81/629.24 c (7,0) x[1][10] = 14
945.81/629.24 c (7,0) x[1][11] = 15
945.81/629.24 c (7,0) x[1][12] = 8
945.81/629.24 c (7,0) x[1][13] = 14
945.81/629.24 c (7,0) x[1][15] = 14
945.81/629.24 c (7,0) x[1][16] = 11
945.81/629.24 c (7,0) x[1][17] = 4
945.81/629.24 c (7,0) x[1][18] = 5
945.81/629.24 c (7,0) x[2][0] = 1
945.81/629.24 c (7,0) x[2][1] = 14
945.81/629.24 c (7,0) x[2][2] = 17
945.81/629.24 c (7,0) x[2][3] = 9
945.81/629.24 c (7,0) x[2][5] = 13
945.81/629.24 c (7,0) x[2][6] = 24
945.81/629.24 c (7,0) x[2][7] = 4
945.81/629.24 c (7,0) x[2][8] = 17
945.81/629.24 c (7,0) x[2][10] = 14
945.81/629.24 c (7,0) x[2][11] = 17
945.81/629.24 c (7,0) x[2][12] = 0
945.81/629.24 c (7,0) x[2][13] = 13
945.81/629.24 c (7,0) x[2][15] = 20
945.81/629.24 c (7,0) x[2][16] = 0
945.81/629.24 c (7,0) x[2][17] = 11
945.81/629.24 c (7,0) x[2][18] = 0
945.81/629.24 c (7,0) x[3][0] = 0
945.81/629.24 c (7,0) x[3][1] = 11
945.81/629.24 c (7,0) x[3][2] = 5
945.81/629.24 c (7,0) x[3][3] = 0
945.81/629.24 c (7,0) x[3][4] = 11
945.81/629.24 c (7,0) x[3][5] = 5
945.81/629.24 c (7,0) x[3][6] = 0
945.81/629.24 c (7,0) x[3][8] = 1
945.81/629.24 c (7,0) x[3][9] = 0
945.81/629.24 c (7,0) x[3][10] = 1
945.81/629.24 c (7,0) x[3][12] = 17
945.81/629.24 c (7,0) x[3][13] = 0
945.81/629.24 c (7,0) x[3][14] = 9
945.81/629.24 c (7,0) x[3][15] = 0
945.81/629.24 c (7,0) x[4][3] = 21
945.81/629.24 c (7,0) x[4][4] = 20
945.81/629.24 c (7,0) x[4][5] = 4
945.81/629.24 c (7,0) x[4][6] = 11
945.81/629.24 c (7,0) x[4][7] = 19
945.81/629.24 c (7,0) x[4][8] = 0
945.81/629.24 c (7,0) x[4][9] = 3
945.81/629.24 c (7,0) x[4][10] = 4
945.81/629.24 c (7,0) x[4][11] = 14
945.81/629.24 c (7,0) x[4][12] = 1
945.81/629.24 c (7,0) x[4][13] = 11
945.81/629.24 c (7,0) x[4][14] = 8
945.81/629.24 c (7,0) x[4][15] = 6
945.81/629.24 c (7,0) x[4][16] = 0
945.81/629.24 c (7,0) x[4][17] = 3
945.81/629.24 c (7,0) x[4][18] = 14
945.81/629.24 c (7,0) x[5][0] = 0
945.81/629.24 c (7,0) x[5][1] = 17
945.81/629.24 c (7,0) x[5][2] = 17
945.81/629.24 c (7,0) x[5][3] = 20
945.81/629.24 c (7,0) x[5][4] = 5
945.81/629.24 c (7,0) x[5][5] = 14
945.81/629.24 c (7,0) x[5][7] = 4
945.81/629.24 c (7,0) x[5][8] = 18
945.81/629.24 c (7,0) x[5][9] = 13
945.81/629.24 c (7,0) x[5][10] = 0
945.81/629.24 c (7,0) x[5][11] = 12
945.81/629.24 c (7,0) x[5][14] = 0
945.81/629.24 c (7,0) x[5][15] = 1
945.81/629.24 c (7,0) x[5][16] = 3
945.81/629.24 c (7,0) x[5][17] = 0
945.81/629.24 c (7,0) x[5][18] = 11
945.81/629.24 c (7,0) x[6][0] = 6
945.81/629.24 c (7,0) x[6][1] = 20
945.81/629.24 c (7,0) x[6][2] = 8
945.81/629.24 c (7,0) x[6][4] = 20
945.81/629.24 c (7,0) x[6][5] = 3
945.81/629.24 c (7,0) x[6][6] = 14
945.81/629.24 c (7,0) x[6][7] = 13
945.81/629.24 c (7,0) x[6][9] = 4
945.81/629.24 c (7,0) x[6][10] = 7
945.81/629.24 c (7,0) x[6][11] = 17
945.81/629.24 c (7,0) x[6][12] = 4
945.81/629.24 c (7,0) x[6][15] = 0
945.81/629.24 c (7,0) x[6][16] = 13
945.81/629.24 c (7,0) x[6][17] = 4
945.81/629.24 c (7,0) x[6][18] = 18
945.81/629.24 c (7,0) x[7][0] = 13
945.81/629.24 c (7,0) x[7][1] = 8
945.81/629.24 c (7,0) x[7][2] = 3
945.81/629.24 c (7,0) x[7][3] = 0
945.81/629.24 c (7,0) x[7][5] = 0
945.81/629.24 c (7,0) x[7][6] = 17
945.81/629.24 c (7,0) x[7][7] = 19
945.81/629.24 c (7,0) x[7][8] = 18
945.81/629.24 c (7,0) x[7][11] = 0
945.81/629.24 c (7,0) x[7][12] = 17
945.81/629.24 c (7,0) x[7][13] = 14
945.81/629.24 c (7,0) x[7][14] = 14
945.81/629.24 c (7,0) x[7][16] = 4
945.81/629.24 c (7,0) x[7][17] = 11
945.81/629.24 c (7,0) x[7][18] = 0
945.81/629.24 c (7,0) x[8][0] = 0
945.81/629.24 c (7,0) x[8][1] = 13
945.81/629.24 c (7,0) x[8][2] = 4
945.81/629.24 c (7,0) x[8][3] = 19
945.81/629.24 c (7,0) x[8][6] = 19
945.81/629.24 c (7,0) x[8][7] = 14
945.81/629.24 c (7,0) x[8][8] = 15
945.81/629.24 c (7,0) x[8][9] = 20
945.81/629.24 c (7,0) x[8][10] = 18
945.81/629.24 c (7,0) x[8][12] = 17
945.81/629.24 c (7,0) x[8][13] = 20
945.81/629.24 c (7,0) x[8][14] = 6
945.81/629.24 c (7,0) x[8][15] = 8
945.81/629.24 c (7,0) x[9][0] = 2
945.81/629.24 c (7,0) x[9][1] = 4
945.81/629.24 c (7,0) x[9][2] = 17
945.81/629.24 c (7,0) x[9][3] = 17
945.81/629.24 c (7,0) x[9][4] = 8
945.81/629.24 c (7,0) x[9][5] = 19
945.81/629.24 c (7,0) x[9][6] = 14
945.81/629.24 c (7,0) x[9][7] = 15
945.81/629.24 c (7,0) x[9][8] = 14
945.81/629.24 c (7,0) x[9][9] = 25
945.81/629.24 c (7,0) x[9][10] = 14
945.81/629.24 c (7,0) x[9][11] = 3
945.81/629.24 c (7,0) x[9][12] = 4
945.81/629.24 c (7,0) x[9][13] = 11
945.81/629.24 c (7,0) x[9][14] = 12
945.81/629.24 c (7,0) x[9][15] = 14
945.81/629.24 c (7,0) x[9][16] = 11
945.81/629.24 c (7,0) x[9][17] = 11
945.81/629.24 c (7,0) x[9][18] = 4
945.81/629.24 c (7,0) x[10][3] = 4
945.81/629.24 c (7,0) x[10][4] = 6
945.81/629.24 c (7,0) x[10][5] = 0
945.81/629.24 c (7,0) x[10][6] = 11
945.81/629.24 c (7,0) x[10][8] = 19
945.81/629.24 c (7,0) x[10][9] = 0
945.81/629.24 c (7,0) x[10][10] = 1
945.81/629.24 c (7,0) x[10][11] = 14
945.81/629.24 c (7,0) x[10][12] = 17
945.81/629.24 c (7,0) x[10][15] = 2
945.81/629.24 c (7,0) x[10][16] = 14
945.81/629.24 c (7,0) x[10][17] = 14
945.81/629.24 c (7,0) x[10][18] = 11
945.81/629.24 c (7,0) x[11][0] = 17
945.81/629.24 c (7,0) x[11][1] = 14
945.81/629.24 c (7,0) x[11][2] = 22
945.81/629.24 c (7,0) x[11][4] = 0
945.81/629.24 c (7,0) x[11][5] = 3
945.81/629.24 c (7,0) x[11][6] = 0
945.81/629.24 c (7,0) x[11][7] = 3
945.81/629.24 c (7,0) x[11][10] = 4
945.81/629.24 c (7,0) x[11][11] = 2
945.81/629.24 c (7,0) x[11][12] = 7
945.81/629.24 c (7,0) x[11][13] = 20
945.81/629.24 c (7,0) x[11][15] = 10
945.81/629.24 c (7,0) x[11][16] = 14
945.81/629.24 c (7,0) x[11][17] = 1
945.81/629.24 c (7,0) x[11][18] = 18
945.81/629.24 c (7,0) x[12][0] = 14
945.81/629.24 c (7,0) x[12][1] = 20
945.81/629.24 c (7,0) x[12][2] = 4
945.81/629.24 c (7,0) x[12][3] = 3
945.81/629.24 c (7,0) x[12][6] = 13
945.81/629.24 c (7,0) x[12][7] = 8
945.81/629.24 c (7,0) x[12][8] = 18
945.81/629.24 c (7,0) x[12][9] = 8
945.81/629.24 c (7,0) x[12][11] = 10
945.81/629.24 c (7,0) x[12][12] = 0
945.81/629.24 c (7,0) x[12][13] = 0
945.81/629.24 c (7,0) x[12][14] = 6
945.81/629.24 c (7,0) x[12][16] = 2
945.81/629.24 c (7,0) x[12][17] = 0
945.81/629.24 c (7,0) x[12][18] = 14
945.81/629.24 c (7,0) x[13][0] = 19
945.81/629.24 c (7,0) x[13][1] = 8
945.81/629.24 c (7,0) x[13][2] = 11
945.81/629.24 c (7,0) x[13][3] = 0
945.81/629.24 c (7,0) x[13][4] = 9
945.81/629.24 c (7,0) x[13][7] = 11
945.81/629.24 c (7,0) x[13][8] = 4
945.81/629.24 c (7,0) x[13][9] = 18
945.81/629.24 c (7,0) x[13][10] = 12
945.81/629.24 c (7,0) x[13][11] = 4
945.81/629.24 c (7,0) x[13][13] = 13
945.81/629.24 c (7,0) x[13][14] = 24
945.81/629.24 c (7,0) x[13][15] = 2
945.81/629.24 c (7,0) x[13][16] = 7
945.81/629.24 c (7,0) x[13][17] = 20
945.81/629.24 c (7,0) x[13][18] = 12
945.81/629.24 c (7,0) x[14][0] = 25
945.81/629.24 c (7,0) x[14][1] = 4
945.81/629.24 c (7,0) x[14][2] = 11
945.81/629.24 c (7,0) x[14][3] = 11
945.81/629.24 c (7,0) x[14][4] = 8
945.81/629.24 c (7,0) x[14][5] = 13
945.81/629.24 c (7,0) x[14][6] = 25
945.81/629.24 c (7,0) x[14][7] = 8
945.81/629.24 c (7,0) x[14][8] = 11
945.81/629.24 c (7,0) x[14][9] = 11
945.81/629.24 c (7,0) x[14][10] = 4
945.81/629.24 c (7,0) x[14][11] = 17
945.81/629.24 c (7,0) x[14][12] = 19
945.81/629.24 c (7,0) x[14][13] = 7
945.81/629.24 c (7,0) x[14][14] = 0
945.81/629.24 c (7,0) x[14][15] = 11
945.81/629.24 c (7,0) x[15][3] = 0
945.81/629.24 c (7,0) x[15][4] = 11
945.81/629.24 c (7,0) x[15][5] = 14
945.81/629.24 c (7,0) x[15][6] = 8
945.81/629.24 c (7,0) x[15][8] = 4
945.81/629.24 c (7,0) x[15][9] = 4
945.81/629.24 c (7,0) x[15][10] = 11
945.81/629.24 c (7,0) x[15][12] = 10
945.81/629.24 c (7,0) x[15][13] = 14
945.81/629.24 c (7,0) x[15][14] = 11
945.81/629.24 c (7,0) x[15][15] = 4
945.81/629.24 c (7,0) x[15][16] = 13
945.81/629.24 c (7,0) x[15][17] = 3
945.81/629.24 c (7,0) x[15][18] = 14
945.81/629.24 c (7,0) x[16][0] = 20
945.81/629.24 c (7,0) x[16][1] = 2
945.81/629.24 c (7,0) x[16][2] = 0
945.81/629.24 c (7,0) x[16][3] = 17
945.81/629.24 c (7,0) x[16][5] = 6
945.81/629.24 c (7,0) x[16][6] = 13
945.81/629.24 c (7,0) x[16][7] = 14
945.81/629.24 c (7,0) x[16][8] = 13
945.81/629.24 c (7,0) x[16][10] = 8
945.81/629.24 c (7,0) x[16][11] = 13
945.81/629.24 c (7,0) x[16][12] = 14
945.81/629.24 c (7,0) x[16][13] = 17
945.81/629.24 c (7,0) x[16][15] = 6
945.81/629.24 c (7,0) x[16][16] = 14
945.81/629.24 c (7,0) x[16][17] = 14
945.81/629.24 c (7,0) x[16][18] = 17
945.81/629.24 c (7,0) x[17][0] = 1
945.81/629.24 c (7,0) x[17][1] = 0
945.81/629.24 c (7,0) x[17][2] = 1
945.81/629.24 c (7,0) x[17][3] = 8
945.81/629.24 c (7,0) x[17][5] = 13
945.81/629.24 c (7,0) x[17][6] = 4
945.81/629.24 c (7,0) x[17][7] = 12
945.81/629.24 c (7,0) x[17][8] = 8
945.81/629.24 c (7,0) x[17][10] = 25
945.81/629.24 c (7,0) x[17][11] = 14
945.81/629.24 c (7,0) x[17][12] = 20
945.81/629.24 c (7,0) x[17][13] = 0
945.81/629.24 c (7,0) x[17][15] = 13
945.81/629.24 c (7,0) x[17][16] = 20
945.81/629.24 c (7,0) x[17][17] = 13
945.81/629.24 c (7,0) x[17][18] = 4
945.81/629.24 c (7,0) x[18][0] = 4
945.81/629.24 c (7,0) x[18][1] = 8
945.81/629.24 c (7,0) x[18][2] = 2
945.81/629.24 c (7,0) x[18][3] = 10
945.81/629.24 c (7,0) x[18][5] = 0
945.81/629.24 c (7,0) x[18][6] = 18
945.81/629.24 c (7,0) x[18][7] = 18
945.81/629.24 c (7,0) x[18][8] = 4
945.81/629.24 c (7,0) x[18][10] = 0
945.81/629.24 c (7,0) x[18][11] = 13
945.81/629.24 c (7,0) x[18][12] = 19
945.81/629.24 c (7,0) x[18][15] = 4
945.81/629.24 c (7,0) x[18][16] = 4
945.81/629.24 c (7,0) x[18][17] = 10
945.81/629.24 c (7,0) x[18][18] = 19
945.81/629.24 s SATISFIABLE
945.81/629.25 v <instantiation>
945.81/629.25 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][6] x[0][7] x[0][8] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][4] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][11] x[7][12] x[7][13] x[7][14] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][3] x[10][4] x[10][5] x[10][6] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][4] x[11][5] x[11][6] x[11][7] x[11][10] x[11][11] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][3] x[15][4] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][10] x[18][11] x[18][12] x[18][15] x[18][16] x[18][17] x[18][18]</list>
945.81/629.25 v <values>6 0 13 3 11 2 3 19 14 12 10 1 20 1 2 0 17 4 4 8 14 19 0 14 15 8 14 14 11 4 5 1 14 17 9 13 24 4 17 14 17 0 13 20 0 11 0 0 11 5 0 11 5 0 1 0 1 17 0 9 0 21 20 4 11 19 0 3 4 14 1 11 8 6 0 3 14 0 17 17 20 5 14 4 18 13 0 12 0 1 3 0 11 6 20 8 20 3 14 13 4 7 17 4 0 13 4 18 13 8 3 0 0 17 19 18 0 17 14 14 4 11 0 0 13 4 19 19 14 15 20 18 17 20 6 8 2 4 17 17 8 19 14 15 14 25 14 3 4 11 12 14 11 11 4 4 6 0 11 19 0 1 14 17 2 14 14 11 17 14 22 0 3 0 3 4 2 7 20 10 14 1 18 14 20 4 3 13 8 18 8 10 0 0 6 2 0 14 19 8 11 0 9 11 4 18 12 4 13 24 2 7 20 12 25 4 11 11 8 13 25 8 11 11 4 17 19 7 0 11 0 11 14 8 4 4 11 10 14 11 4 13 3 14 20 2 0 17 6 13 14 13 8 13 14 17 6 14 14 17 1 0 1 8 13 4 12 8 25 14 20 0 13 20 13 4 4 8 2 10 0 18 18 4 0 13 19 4 4 10 19</values>
945.81/629.25 v </instantiation>
945.81/629.25 c (7,0) Show results End
945.81/629.25 c (7,0) Heap : 252 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
945.81/629.25 c (7,0) 7,7,STOP-AFTER(ALL)
945.81/629.25 c END-Prog: Thu Sep 12 16:42:19 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 (9457 MiB free)
memory of node 1: 16384 MiB (15626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388367-1568298755/watcher-4388367-1568298755 -o /tmp/evaluation-result-4388367-1568298755/solver-4388367-1568298755 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388367-1568298755.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=11638, runsolver pid=11635
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 2.01 2.24 2.44 3/229 11655
/proc/meminfo: memFree=25624752/32770624 swapFree=66992964/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406126937 115843072 349 33554432000 4194304 5098028 140733786528128 140733786525384 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 349 296 221 0 87 0
[pid=11641] ppid=11638 vsize=15014680 memory=75420 CPUtime=0.12 cores=1,3,5,7
/proc/11641/stat : 11641 (java) S 11638 11638 5522 0 -1 1077944320 6591 0 0 0 10 2 0 0 20 0 15 0 406126937 15375032320 18855 33554432000 4194304 4196468 140737203120784 140737203103328 139763580010231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
/proc/11641/statm: 3753670 18855 2890 1 0 3716075 0
[pid=11641/tid=11642] ppid=11638 vsize=15016308 memory=7100839861464433778 CPUtime=0.08 cores=1,3,5,7
/proc/11641/task/11642/stat : 11642 (java) R 11638 11638 5522 0 -1 4202560 4518 0 0 0 7 1 0 0 20 0 15 0 406126938 15376699392 18987 33554432000 4194304 4196468 140737203120784 139763551794480 139763572689949 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11643] ppid=11638 vsize=15016308 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11643/stat : 11643 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406126939 15376699392 18987 33554432000 4194304 4196468 140737203120784 139763584252944 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11644] ppid=11638 vsize=15016308 memory=140445657523840 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11644/stat : 11644 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15376699392 18987 33554432000 4194304 4196468 140737203120784 139763404549264 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11645] ppid=11638 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11645/stat : 11645 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15376699392 18987 33554432000 4194304 4196468 140737203120784 139763039828752 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11646] ppid=11638 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11646/stat : 11646 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15376699392 19053 33554432000 4194304 4196468 140737203120784 139763038776208 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11647] ppid=11638 vsize=15016308 memory=140445657523840 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11647/stat : 11647 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406126941 15376699392 19053 33554432000 4194304 4196468 140737203120784 139762349172976 139763580021378 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11648] ppid=11638 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11648/stat : 11648 (java) S 11638 11638 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406126941 15376699392 19053 33554432000 4194304 4196468 140737203120784 139762262336672 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11649] ppid=11638 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11649/stat : 11649 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126941 15376699392 19119 33554432000 4194304 4196468 140737203120784 139761993900784 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11650] ppid=11638 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11650/stat : 11650 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15376699392 19119 33554432000 4194304 4196468 140737203120784 139761619392464 139763580028827 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11651] ppid=11638 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11651/stat : 11651 (java) S 11638 11638 5522 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 406126944 15376699392 19119 33554432000 4194304 4196468 140737203120784 139762348120816 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11652] ppid=11638 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11652/stat : 11652 (java) S 11638 11638 5522 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 406126944 15376699392 19119 33554432000 4194304 4196468 140737203120784 139762347068272 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11653] ppid=11638 vsize=15016308 memory=140445657523840 CPUtime=0.01 cores=1,3,5,7
/proc/11641/task/11653/stat : 11653 (java) S 11638 11638 5522 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 406126944 15376699392 19119 33554432000 4194304 4196468 140737203120784 139762346015216 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11654] ppid=11638 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11654/stat : 11654 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15376699392 19185 33554432000 4194304 4196468 140737203120784 139761121487712 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11655] ppid=11638 vsize=15016308 memory=140445657523840 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11655/stat : 11655 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126944 15376699392 19185 33554432000 4194304 4196468 140737203120784 139762344962608 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 76816 KiB
[startup+0.210677 s]*
/proc/loadavg: 2.01 2.24 2.44 3/229 11655
/proc/meminfo: memFree=25608500/32770624 swapFree=66992964/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406126937 115843072 349 33554432000 4194304 5098028 140733786528128 140733786525384 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 349 296 221 0 87 0
[pid=11641] ppid=11638 vsize=15012696 memory=87080 CPUtime=0.25 cores=1,3,5,7
/proc/11641/stat : 11641 (java) S 11638 11638 5522 0 -1 1077944320 10771 0 0 0 22 3 0 0 20 0 15 0 406126937 15373000704 21770 33554432000 4194304 4196468 140737203120784 140737203103328 139763580010231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
/proc/11641/statm: 3753174 21770 2986 1 0 3715579 0
[pid=11641/tid=11642] ppid=11638 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11641/task/11642/stat : 11642 (java) R 11638 11638 5522 0 -1 4202560 8488 0 0 0 17 3 0 0 20 0 15 0 406126938 15373000704 21835 33554432000 4194304 4196468 140737203120784 139763551817792 139763580032157 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11643] ppid=11638 vsize=15012696 memory=2809255 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11643/stat : 11643 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 21835 33554432000 4194304 4196468 140737203120784 139763584252944 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11644] ppid=11638 vsize=15012696 memory=2957896 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11644/stat : 11644 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 21835 33554432000 4194304 4196468 140737203120784 139763404549264 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11645] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11645/stat : 11645 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 21835 33554432000 4194304 4196468 140737203120784 139763039828752 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11646] ppid=11638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11646/stat : 11646 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 21835 33554432000 4194304 4196468 140737203120784 139763038776208 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11647] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11647/stat : 11647 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406126941 15373000704 21835 33554432000 4194304 4196468 140737203120784 139762349172976 139763580021378 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11648] ppid=11638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11648/stat : 11648 (java) S 11638 11638 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406126941 15373000704 21835 33554432000 4194304 4196468 140737203120784 139762262336672 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11649] ppid=11638 vsize=15012696 memory=140445657523840 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11649/stat : 11649 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126941 15373000704 21835 33554432000 4194304 4196468 140737203120784 139761993900784 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11650] ppid=11638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11650/stat : 11650 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 21835 33554432000 4194304 4196468 140737203120784 139761619392464 139763580028827 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11651] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11651/stat : 11651 (java) S 11638 11638 5522 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 21835 33554432000 4194304 4196468 140737203120784 139762348120816 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11652] ppid=11638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11652/stat : 11652 (java) S 11638 11638 5522 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 21835 33554432000 4194304 4196468 140737203120784 139762347068272 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11653] ppid=11638 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11641/task/11653/stat : 11653 (java) S 11638 11638 5522 0 -1 1077944384 496 0 0 0 3 0 0 0 20 0 15 0 406126944 15373000704 21835 33554432000 4194304 4196468 140737203120784 139762346015216 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11654] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11654/stat : 11654 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 21835 33554432000 4194304 4196468 140737203120784 139761121487712 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11655] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11655/stat : 11655 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 21835 33554432000 4194304 4196468 140737203120784 139762344962608 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88476 KiB
[startup+0.310477 s]*
/proc/loadavg: 2.01 2.24 2.44 4/229 11655
/proc/meminfo: memFree=25606320/32770624 swapFree=66992964/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406126937 115843072 349 33554432000 4194304 5098028 140733786528128 140733786525384 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 349 296 221 0 87 0
[pid=11641] ppid=11638 vsize=15012696 memory=90764 CPUtime=0.43 cores=1,3,5,7
/proc/11641/stat : 11641 (java) S 11638 11638 5522 0 -1 1077944320 11701 0 0 0 39 4 0 0 20 0 15 0 406126937 15373000704 22691 33554432000 4194304 4196468 140737203120784 140737203103328 139763580010231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
/proc/11641/statm: 3753174 22691 3072 1 0 3715579 0
[pid=11641/tid=11642] ppid=11638 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/11641/task/11642/stat : 11642 (java) R 11638 11638 5522 0 -1 4202560 9233 0 0 0 27 3 0 0 20 0 15 0 406126938 15373000704 22691 33554432000 4194304 4196468 140737203120784 139763551800864 139763564090718 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11643] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11643/stat : 11643 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 22691 33554432000 4194304 4196468 140737203120784 139763584252944 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11644] ppid=11638 vsize=15012696 memory=2949791 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11644/stat : 11644 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 22691 33554432000 4194304 4196468 140737203120784 139763404549264 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11645] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11645/stat : 11645 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 22691 33554432000 4194304 4196468 140737203120784 139763039828752 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11646] ppid=11638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11646/stat : 11646 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15373000704 22691 33554432000 4194304 4196468 140737203120784 139763038776208 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11647] ppid=11638 vsize=15012696 memory=140445657523840 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11647/stat : 11647 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406126941 15373000704 22691 33554432000 4194304 4196468 140737203120784 139762349172976 139763580021378 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11648] ppid=11638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11648/stat : 11648 (java) S 11638 11638 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406126941 15373000704 22691 33554432000 4194304 4196468 140737203120784 139762262336672 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11649] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11649/stat : 11649 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126941 15373000704 22691 33554432000 4194304 4196468 140737203120784 139761993900784 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11650] ppid=11638 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11650/stat : 11650 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 22691 33554432000 4194304 4196468 140737203120784 139761619392464 139763580028827 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11651] ppid=11638 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11641/task/11651/stat : 11651 (java) S 11638 11638 5522 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 406126944 15373000704 22691 33554432000 4194304 4196468 140737203120784 139762348120816 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11652] ppid=11638 vsize=15012696 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11641/task/11652/stat : 11652 (java) S 11638 11638 5522 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 15 0 406126944 15373000704 22691 33554432000 4194304 4196468 140737203120784 139762347068272 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11653] ppid=11638 vsize=15012696 memory=140445657523840 CPUtime=0.07 cores=1,3,5,7
/proc/11641/task/11653/stat : 11653 (java) S 11638 11638 5522 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 15 0 406126944 15373000704 22691 33554432000 4194304 4196468 140737203120784 139762346015216 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11654] ppid=11638 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11654/stat : 11654 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 22691 33554432000 4194304 4196468 140737203120784 139761121487712 139763580020437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11655] ppid=11638 vsize=15012696 memory=140445657523840 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11655/stat : 11655 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126944 15373000704 22691 33554432000 4194304 4196468 140737203120784 139762344962608 139763580021378 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92160 KiB
[startup+0.707781 s]
/proc/loadavg: 2.01 2.24 2.44 3/229 11655
/proc/meminfo: memFree=25582644/32770624 swapFree=66992964/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406126937 115843072 349 33554432000 4194304 5098028 140733786528128 140733786525384 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 349 296 221 0 87 0
[pid=11641] ppid=11638 vsize=15018968 memory=135588 CPUtime=1.04 cores=1,3,5,7
/proc/11641/stat : 11641 (java) S 11638 11638 5522 0 -1 1077944320 19126 0 0 0 98 6 0 0 20 0 15 0 406126937 15379423232 33897 33554432000 4194304 4196468 140737203120784 140737203103328 139763580010231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
/proc/11641/statm: 3754742 33897 3189 1 0 3716091 0
[pid=11641/tid=11642] ppid=11638 vsize=15018968 memory=2124 CPUtime=0.69 cores=1,3,5,7
/proc/11641/task/11642/stat : 11642 (java) R 11638 11638 5522 0 -1 4202560 16189 0 0 0 64 5 0 0 20 0 15 0 406126938 15379423232 33897 33554432000 4194304 4196468 140737203120784 139763551848016 139763572251621 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11643] ppid=11638 vsize=15018968 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11643/stat : 11643 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406126939 15379423232 33897 33554432000 4194304 4196468 140737203120784 139763584252944 139763580020437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11644] ppid=11638 vsize=15018968 memory=496 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11644/stat : 11644 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15379423232 33897 33554432000 4194304 4196468 140737203120784 139763404549264 139763580020437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11645] ppid=11638 vsize=15018968 memory=928 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11645/stat : 11645 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15379423232 33897 33554432000 4194304 4196468 140737203120784 139763039828752 139763580020437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11646] ppid=11638 vsize=15018968 memory=1604 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11646/stat : 11646 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126939 15379423232 33897 33554432000 4194304 4196468 140737203120784 139763038776208 139763580020437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11647] ppid=11638 vsize=15018968 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11647/stat : 11647 (java) S 11638 11638 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406126941 15379423232 33897 33554432000 4194304 4196468 140737203120784 139762349172976 139763580021378 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11648] ppid=11638 vsize=15018968 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11648/stat : 11648 (java) S 11638 11638 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406126941 15379423232 33897 33554432000 4194304 4196468 140737203120784 139762262336672 139763580020437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11649] ppid=11638 vsize=15018968 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11649/stat : 11649 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126941 15379423232 33897 33554432000 4194304 4196468 140737203120784 139761993900784 139763580020437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11650] ppid=11638 vsize=15018968 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11650/stat : 11650 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15379423232 33897 33554432000 4194304 4196468 140737203120784 139761619392464 139763580028827 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11651] ppid=11638 vsize=15018968 memory=8025788814061032556 CPUtime=0.07 cores=1,3,5,7
/proc/11641/task/11651/stat : 11651 (java) S 11638 11638 5522 0 -1 1077944384 563 0 0 0 7 0 0 0 20 0 15 0 406126944 15379423232 33897 33554432000 4194304 4196468 140737203120784 139762348120816 139763580021378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11652] ppid=11638 vsize=15018968 memory=4638778402627731557 CPUtime=0.09 cores=1,3,5,7
/proc/11641/task/11652/stat : 11652 (java) S 11638 11638 5522 0 -1 1077944384 425 0 0 0 9 0 0 0 20 0 15 0 406126944 15379423232 33897 33554432000 4194304 4196468 140737203120784 139762347068272 139763580021378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11653] ppid=11638 vsize=15018968 memory=8514726395714826909 CPUtime=0.16 cores=1,3,5,7
/proc/11641/task/11653/stat : 11653 (java) S 11638 11638 5522 0 -1 1077944384 615 0 0 0 16 0 0 0 20 0 15 0 406126944 15379423232 33897 33554432000 4194304 4196468 140737203120784 139762346015216 139763580021378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11654] ppid=11638 vsize=15018968 memory=7521407684649314384 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11654/stat : 11654 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406126944 15379423232 33897 33554432000 4194304 4196468 140737203120784 139761121487712 139763580020437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
[pid=11641/tid=11655] ppid=11638 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11641/task/11655/stat : 11655 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406126944 15379423232 33897 33554432000 4194304 4196468 140737203120784 139762344962608 139763580021378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37031936 140737203127022 140737203127450 140737203127450 140737203130319 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 136984 KiB
[startup+1.5009 s]
/proc/loadavg: 2.01 2.24 2.44 4/229 11655
/proc/meminfo: memFree=25458968/32770624 swapFree=66992964/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 406126937 115843072 349 33554432000 4194304 5098028 140733786528128 140733786525384 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/11833/task/11849/stat : 11849 (java) S 11638 11638 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406189130 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697893250368 139698660396825 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11851] ppid=11638 vsize=8068440 memory=1890 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11851/stat : 11851 (java) S 11638 11638 5522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 406189131 8262082560 30072 33554432000 4194304 4196468 140720362879328 139695690333616 139698660394141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11852] ppid=11638 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11852/stat : 11852 (java) S 11638 11638 5522 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406189131 8262082560 30072 33554432000 4194304 4196468 140720362879328 139696092987440 139698660394141 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11853] ppid=11638 vsize=8068440 memory=97 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11853/stat : 11853 (java) S 11638 11638 5522 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 406189133 8262082560 30072 33554432000 4194304 4196468 140720362879328 139695556120368 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
Current children cumulated CPU time: 943.35 s
Current children cumulated vsize: 8802784 KiB
Current children cumulated memory: 627596 KiB
[startup+628.001 s]*
/proc/loadavg: 3.34 2.78 2.55 3/240 11853
/proc/meminfo: memFree=30839656/32770624 swapFree=66992980/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1476 CPUtime=936.72 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 584 201862 0 0 0 0 92861 811 20 0 1 0 406126937 115843072 369 33554432000 4194304 5098028 140733786528128 140733786524872 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 369 311 221 0 87 0
[pid=11833] ppid=11638 vsize=8068440 memory=120288 CPUtime=1.37 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11638 11638 5522 0 -1 1077944320 21038 0 0 0 130 7 0 0 20 0 19 0 406189053 8262082560 30072 33554432000 4194304 4196468 140720362879328 140720362861872 139698660372215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
/proc/11833/statm: 2017110 30072 3214 1 0 1978454 0
[pid=11848] ppid=11833 vsize=621216 memory=505836 CPUtime=6.07 cores=1,3,5,7
/proc/11848/stat : 11848 (glueminisat-sim) R 11833 11638 5522 0 -1 4202496 203638 0 0 0 576 31 0 0 20 0 1 0 406189130 636125184 126459 33554432000 4194304 4452875 140721155919376 140721155914408 4372067 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 18219008 140721155920735 140721155920935 140721155920935 140721155923885 0
/proc/11848/statm: 155304 126459 376 64 0 151508 0
[pid=11833/tid=11834] ppid=11638 vsize=8068440 memory=8317482817917895235 CPUtime=0.79 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) S 11638 11638 5522 0 -1 1077944384 17433 0 0 0 74 5 0 0 20 0 19 0 406189053 8262082560 30072 33554432000 4194304 4196468 140720362879328 139698632212384 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11835] ppid=11638 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11835/stat : 11835 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 30072 33554432000 4194304 4196468 140720362879328 139698664614928 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11836] ppid=11638 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11836/stat : 11836 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 30072 33554432000 4194304 4196468 140720362879328 139698464783504 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11837] ppid=11638 vsize=8068440 memory=1604 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11837/stat : 11837 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 30072 33554432000 4194304 4196468 140720362879328 139698463730448 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11838] ppid=11638 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11838/stat : 11838 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 30072 33554432000 4194304 4196468 140720362879328 139698462677904 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11839] ppid=11638 vsize=8068440 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11839/stat : 11839 (java) S 11638 11638 5522 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406189056 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697904937200 139698660383362 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11840] ppid=11638 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11840/stat : 11840 (java) S 11638 11638 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406189057 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697502282912 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11841] ppid=11638 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11841/stat : 11841 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406189057 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697233847024 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11842] ppid=11638 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11842/stat : 11842 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406189059 8262082560 30072 33554432000 4194304 4196468 140720362879328 139696859338704 139698660390811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11843] ppid=11638 vsize=8068440 memory=8556 CPUtime=0.17 cores=1,3,5,7
/proc/11833/task/11843/stat : 11843 (java) S 11638 11638 5522 0 -1 1077944384 1201 0 0 0 17 0 0 0 20 0 19 0 406189059 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697903885040 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11844] ppid=11638 vsize=8068440 memory=1052 CPUtime=0.13 cores=1,3,5,7
/proc/11833/task/11844/stat : 11844 (java) S 11638 11638 5522 0 -1 1077944384 355 0 0 0 13 0 0 0 20 0 19 0 406189059 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697902832496 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11845] ppid=11638 vsize=8068440 memory=1708 CPUtime=0.23 cores=1,3,5,7
/proc/11833/task/11845/stat : 11845 (java) S 11638 11638 5522 0 -1 1077944384 627 0 0 0 23 0 0 0 20 0 19 0 406189059 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697901779440 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11846] ppid=11638 vsize=8068440 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11846/stat : 11846 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406189059 8262082560 30072 33554432000 4194304 4196468 140720362879328 139696361433952 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11847] ppid=11638 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11847/stat : 11847 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406189060 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697900726832 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11849] ppid=11638 vsize=8068440 memory=5896 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11849/stat : 11849 (java) S 11638 11638 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406189130 8262082560 30072 33554432000 4194304 4196468 140720362879328 139697893250368 139698660396825 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11851] ppid=11638 vsize=8068440 memory=664 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11851/stat : 11851 (java) S 11638 11638 5522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 406189131 8262082560 30072 33554432000 4194304 4196468 140720362879328 139695690333616 139698660394141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11852] ppid=11638 vsize=8068440 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11852/stat : 11852 (java) S 11638 11638 5522 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406189131 8262082560 30072 33554432000 4194304 4196468 140720362879328 139696092987440 139698660394141 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11853] ppid=11638 vsize=8068440 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11853/stat : 11853 (java) S 11638 11638 5522 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 406189133 8262082560 30072 33554432000 4194304 4196468 140720362879328 139695556120368 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
Current children cumulated CPU time: 944.16 s
Current children cumulated vsize: 8802784 KiB
Current children cumulated memory: 627600 KiB
[startup+628.805 s]
/proc/loadavg: 3.34 2.78 2.55 3/240 11853
/proc/meminfo: memFree=30839656/32770624 swapFree=66992980/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1476 CPUtime=936.72 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 584 201862 0 0 0 0 92861 811 20 0 1 0 406126937 115843072 369 33554432000 4194304 5098028 140733786528128 140733786524872 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 369 311 221 0 87 0
[pid=11833] ppid=11638 vsize=8068440 memory=130284 CPUtime=1.52 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11638 11638 5522 0 -1 1077944320 23540 0 0 0 143 9 0 0 20 0 19 0 406189053 8262082560 32571 33554432000 4194304 4196468 140720362879328 140720362861872 139698660372215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
/proc/11833/statm: 2017110 32571 3225 1 0 1978454 0
[pid=11848] ppid=11833 vsize=621216 memory=505960 CPUtime=6.84 cores=1,3,5,7
/proc/11848/stat : 11848 (glueminisat-sim) R 11833 11638 5522 0 -1 4202496 209893 0 0 0 652 32 0 0 20 0 1 0 406189130 636125184 126490 33554432000 4194304 4452875 140721155919376 140721155913224 140066683006726 0 4 0 8388610 0 0 0 17 7 0 0 0 0 0 6552096 6554264 18219008 140721155920735 140721155920935 140721155920935 140721155923885 0
/proc/11848/statm: 155304 126490 389 64 0 151508 0
[pid=11833/tid=11834] ppid=11638 vsize=8068440 memory=503672 CPUtime=0.79 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) S 11638 11638 5522 0 -1 1077944384 17433 0 0 0 74 5 0 0 20 0 19 0 406189053 8262082560 32571 33554432000 4194304 4196468 140720362879328 139698632212384 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11835] ppid=11638 vsize=8068440 memory=120108 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11835/stat : 11835 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 32571 33554432000 4194304 4196468 140720362879328 139698664614928 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11836] ppid=11638 vsize=8068440 memory=503616 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11836/stat : 11836 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 32571 33554432000 4194304 4196468 140720362879328 139698464783504 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11837] ppid=11638 vsize=8068440 memory=-7824251494390848099 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11837/stat : 11837 (java) S 11638 11638 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 32571 33554432000 4194304 4196468 140720362879328 139698463730448 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11838] ppid=11638 vsize=8068440 memory=664 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11838/stat : 11838 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406189055 8262082560 32571 33554432000 4194304 4196468 140720362879328 139698462677904 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11839] ppid=11638 vsize=8068440 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11839/stat : 11839 (java) S 11638 11638 5522 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406189056 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697904937200 139698660383362 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11840] ppid=11638 vsize=8068440 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11840/stat : 11840 (java) S 11638 11638 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406189057 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697502282912 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11841] ppid=11638 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11841/stat : 11841 (java) S 11638 11638 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406189057 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697233847024 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11842] ppid=11638 vsize=8068440 memory=4940 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11842/stat : 11842 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406189059 8262082560 32571 33554432000 4194304 4196468 140720362879328 139696859338704 139698660390811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11843] ppid=11638 vsize=8068440 memory=2864 CPUtime=0.19 cores=1,3,5,7
/proc/11833/task/11843/stat : 11843 (java) S 11638 11638 5522 0 -1 1077944384 1213 0 0 0 19 0 0 0 20 0 19 0 406189059 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697903885040 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11844] ppid=11638 vsize=8068440 memory=4104 CPUtime=0.17 cores=1,3,5,7
/proc/11833/task/11844/stat : 11844 (java) R 11638 11638 5522 0 -1 4202560 613 0 0 0 17 0 0 0 20 0 19 0 406189059 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697902832496 139698637969271 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11845] ppid=11638 vsize=8068440 memory=1412 CPUtime=0.26 cores=1,3,5,7
/proc/11833/task/11845/stat : 11845 (java) S 11638 11638 5522 0 -1 1077944384 1162 0 0 0 26 0 0 0 20 0 19 0 406189059 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697901779440 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11846] ppid=11638 vsize=8068440 memory=3212 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11846/stat : 11846 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406189059 8262082560 32571 33554432000 4194304 4196468 140720362879328 139696361433952 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11847] ppid=11638 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11847/stat : 11847 (java) S 11638 11638 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406189060 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697900726832 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11849] ppid=11638 vsize=8068440 memory=11875972 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11849/stat : 11849 (java) S 11638 11638 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406189130 8262082560 32571 33554432000 4194304 4196468 140720362879328 139697893250368 139698660396825 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11851] ppid=11638 vsize=8068440 memory=1364 CPUtime=0.05 cores=1,3,5,7
/proc/11833/task/11851/stat : 11851 (java) S 11638 11638 5522 0 -1 4202560 1706 0 0 0 4 1 0 0 20 0 19 0 406189131 8262082560 32571 33554432000 4194304 4196468 140720362879328 139695690333680 139698660394141 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11852] ppid=11638 vsize=8068440 memory=-7824251494390848099 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11852/stat : 11852 (java) S 11638 11638 5522 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406189131 8262082560 32571 33554432000 4194304 4196468 140720362879328 139696092987440 139698660394141 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11853] ppid=11638 vsize=8068440 memory=916 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11853/stat : 11853 (java) S 11638 11638 5522 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 406189133 8262082560 32571 33554432000 4194304 4196468 140720362879328 139695556120368 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
Current children cumulated CPU time: 945.08 s
Current children cumulated vsize: 8802784 KiB
Current children cumulated memory: 637720 KiB
[startup+629.201 s]
/proc/loadavg: 3.34 2.78 2.55 3/238 11853
/proc/meminfo: memFree=31229660/32770624 swapFree=66992980/67108860
[pid=11638] ppid=11635 vsize=113128 memory=1476 CPUtime=936.72 cores=1,3,5,7
/proc/11638/stat : 11638 (scop.sh) S 11635 11638 5522 0 -1 4202496 584 201862 0 0 0 0 92861 811 20 0 1 0 406126937 115843072 369 33554432000 4194304 5098028 140733786528128 140733786524872 140626337170044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37052416 140733786530600 140733786530928 140733786530928 140733786533837 0
/proc/11638/statm: 28282 369 311 221 0 87 0
[pid=11833] ppid=11638 vsize=7937364 memory=248880 CPUtime=9.09 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11638 11638 5522 0 -1 1077944320 24066 209904 0 0 199 12 663 35 20 0 17 0 406189053 8127860736 62220 33554432000 4194304 4196468 140720362879328 140720362861872 139698660372215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
/proc/11833/statm: 1984341 62220 3232 1 0 1945685 0
[pid=11833/tid=11834] ppid=11638 vsize=7937364 memory=1476 CPUtime=7.86 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) R 11638 11638 5522 0 -1 4202560 17643 209904 0 0 83 5 663 35 20 0 17 0 406189053 8127860736 62220 33554432000 4194304 4196468 140720362879328 139698632209712 139698126944960 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11835] ppid=11638 vsize=7937364 memory=120288 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11835/stat : 11835 (java) S 11638 11638 5522 0 -1 1077944384 2 209904 0 0 0 0 663 35 20 0 17 0 406189055 8127860736 62220 33554432000 4194304 4196468 140720362879328 139698664614928 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11836] ppid=11638 vsize=7937364 memory=505836 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11836/stat : 11836 (java) S 11638 11638 5522 0 -1 1077944384 1 209904 0 0 0 0 663 35 20 0 17 0 406189055 8127860736 62220 33554432000 4194304 4196468 140720362879328 139698464783504 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11837] ppid=11638 vsize=7937364 memory=6791534058613427641 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11837/stat : 11837 (java) S 11638 11638 5522 0 -1 1077944384 2 209904 0 0 0 0 663 35 20 0 17 0 406189055 8127860736 62220 33554432000 4194304 4196468 140720362879328 139698463730448 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11838] ppid=11638 vsize=7937364 memory=820 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11838/stat : 11838 (java) S 11638 11638 5522 0 -1 1077944384 1 209904 0 0 0 0 663 35 20 0 17 0 406189055 8127860736 62220 33554432000 4194304 4196468 140720362879328 139698462677904 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11839] ppid=11638 vsize=7937364 memory=1764 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11839/stat : 11839 (java) S 11638 11638 5522 0 -1 1077944384 7 209904 0 0 0 0 663 35 20 0 17 0 406189056 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697904937200 139698660383362 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11840] ppid=11638 vsize=7937364 memory=111632 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11840/stat : 11840 (java) S 11638 11638 5522 0 -1 1077944384 13 209904 0 0 0 0 663 35 20 0 17 0 406189057 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697502282912 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11841] ppid=11638 vsize=7937364 memory=808 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11841/stat : 11841 (java) S 11638 11638 5522 0 -1 1077944384 1 209904 0 0 0 0 663 35 20 0 17 0 406189057 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697233847024 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11842] ppid=11638 vsize=7937364 memory=505836 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11842/stat : 11842 (java) S 11638 11638 5522 0 -1 1077944384 3 209904 0 0 0 0 663 35 20 0 17 0 406189059 8127860736 62220 33554432000 4194304 4196468 140720362879328 139696859338704 139698660390811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11843] ppid=11638 vsize=7937364 memory=2756 CPUtime=7.27 cores=1,3,5,7
/proc/11833/task/11843/stat : 11843 (java) R 11638 11638 5522 0 -1 1077944384 1250 209904 0 0 29 0 663 35 20 0 17 0 406189059 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697903885040 139698660383362 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11844] ppid=11638 vsize=7937364 memory=1476 CPUtime=7.24 cores=1,3,5,7
/proc/11833/task/11844/stat : 11844 (java) S 11638 11638 5522 0 -1 1077944384 647 209904 0 0 26 0 663 35 20 0 17 0 406189059 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697902832496 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11845] ppid=11638 vsize=7937364 memory=118684 CPUtime=7.31 cores=1,3,5,7
/proc/11833/task/11845/stat : 11845 (java) R 11638 11638 5522 0 -1 4202560 1322 209904 0 0 33 0 663 35 20 0 17 0 406189059 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697901779440 139698660393562 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11846] ppid=11638 vsize=7937364 memory=36444 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11846/stat : 11846 (java) S 11638 11638 5522 0 -1 1077944384 3 209904 0 0 0 0 663 35 20 0 17 0 406189059 8127860736 62220 33554432000 4194304 4196468 140720362879328 139696361433952 139698660382421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11847] ppid=11638 vsize=7937364 memory=120108 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11847/stat : 11847 (java) S 11638 11638 5522 0 -1 1077944384 3 209904 0 0 0 0 663 35 20 0 17 0 406189060 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697900726832 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11849] ppid=11638 vsize=7937364 memory=503672 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11849/stat : 11849 (java) S 11638 11638 5522 0 -1 1077944384 22 209904 0 0 0 0 663 35 20 0 17 0 406189130 8127860736 62220 33554432000 4194304 4196468 140720362879328 139697893249552 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
[pid=11833/tid=11853] ppid=11638 vsize=7937364 memory=1616 CPUtime=6.98 cores=1,3,5,7
/proc/11833/task/11853/stat : 11853 (java) S 11638 11638 5522 0 -1 1077944384 35 209904 0 0 0 0 663 35 20 0 17 0 406189133 8127860736 62220 33554432000 4194304 4196468 140720362879328 139695556122160 139698660383362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140720362882043 140720362882202 140720362882202 140720362885071 0
Current children cumulated CPU time: 945.81 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 250356 KiB
Child status: 0
Real time (s): 629.28
CPU time (s): 945.982
CPU user time (s): 937.364
CPU system time (s): 8.61804
CPU usage (%): 150.328
Max. virtual memory (cumulated for all children) (KiB): 15141472
Max. memory (cumulated for all children) (KiB): 11878936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 937.364
system time used= 8.61804
maximum resident set size= 11877548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436635
page faults= 0
swaps= 0
block input operations= 8
block output operations= 299440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24257
involuntary context switches= 4593
# summary of solver processes directly reported to runsolver:
# pid: 11638
# total CPU time (s): 945.982
# total CPU user time (s): 937.364
# total CPU system time (s): 8.61804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.72239 second user time and 6.58336 second system time
The end