TSTP Solution File: FLD051-4 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : FLD051-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n028.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sat Jul 16 02:27:52 EDT 2022
% Result : Timeout 300.03s 300.21s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : FLD051-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.11/0.13 % Command : sos-script %s
% 0.12/0.33 % Computer : n028.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jun 7 01:23:14 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.36 ----- Otter 3.2, August 2001 -----
% 0.12/0.36 The process was started by sandbox on n028.cluster.edu,
% 0.12/0.36 Tue Jun 7 01:23:14 2022
% 0.12/0.36 The command was "./sos". The process ID is 3027.
% 0.12/0.36
% 0.12/0.36 set(prolog_style_variables).
% 0.12/0.36 set(auto).
% 0.12/0.36 dependent: set(auto1).
% 0.12/0.36 dependent: set(process_input).
% 0.12/0.36 dependent: clear(print_kept).
% 0.12/0.36 dependent: clear(print_new_demod).
% 0.12/0.36 dependent: clear(print_back_demod).
% 0.12/0.36 dependent: clear(print_back_sub).
% 0.12/0.36 dependent: set(control_memory).
% 0.12/0.36 dependent: assign(max_mem, 12000).
% 0.12/0.36 dependent: assign(pick_given_ratio, 4).
% 0.12/0.36 dependent: assign(stats_level, 1).
% 0.12/0.36 dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.36 dependent: assign(sos_limit, 5000).
% 0.12/0.36 dependent: assign(max_weight, 60).
% 0.12/0.36 clear(print_given).
% 0.12/0.36
% 0.12/0.36 list(usable).
% 0.12/0.36
% 0.12/0.36 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.12/0.36
% 0.12/0.36 This is a non-Horn set without equality. The strategy
% 0.12/0.36 will be ordered hyper_res, ur_res, unit deletion, and
% 0.12/0.36 factoring, with satellites in sos and nuclei in usable.
% 0.12/0.36
% 0.12/0.36 dependent: set(hyper_res).
% 0.12/0.36 dependent: set(factor).
% 0.12/0.36 dependent: set(unit_deletion).
% 0.12/0.36
% 0.12/0.36 ------------> process usable:
% 0.12/0.36
% 0.12/0.36 ------------> process sos:
% 0.12/0.36
% 0.12/0.36 ======= end of input processing =======
% 0.18/0.43
% 0.18/0.43 Model 1 (0.00 seconds, 0 Inserts)
% 0.18/0.43
% 0.18/0.43 Stopped by limit on number of solutions
% 0.18/0.43
% 0.18/0.43
% 0.18/0.43 -------------- Softie stats --------------
% 0.18/0.43
% 0.18/0.43 UPDATE_STOP: 300
% 0.18/0.43 SFINDER_TIME_LIMIT: 2
% 0.18/0.43 SHORT_CLAUSE_CUTOFF: 4
% 0.18/0.43 number of clauses in intial UL: 51
% 0.18/0.43 number of clauses initially in problem: 67
% 0.18/0.43 percentage of clauses intially in UL: 76
% 0.18/0.43 percentage of distinct symbols occuring in initial UL: 84
% 0.18/0.43 percent of all initial clauses that are short: 100
% 0.18/0.43 absolute distinct symbol count: 19
% 0.18/0.43 distinct predicate count: 4
% 0.18/0.43 distinct function count: 4
% 0.18/0.43 distinct constant count: 11
% 0.18/0.43
% 0.18/0.43 ---------- no more Softie stats ----------
% 0.18/0.43
% 0.18/0.43
% 0.18/0.43
% 0.18/0.43 Model 2 (0.00 seconds, 0 Inserts)
% 0.18/0.43
% 0.18/0.43 Stopped by limit on number of solutions
% 0.18/0.43
% 0.18/0.43 =========== start of search ===========
% 3.26/3.45
% 3.26/3.45
% 3.26/3.45 Changing weight limit from 60 to 10.
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 3 [ 1 2 248 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 4 [ 4 1 115 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 5 [ 5 1 1241 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 6 [ 5 1 157 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 7 [ 5 1 354 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 8 [ 5 1 311 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 9 [ 5 1 460 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 10 [ 5 1 208 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 11 [ 7 2 402 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 12 [ 14 2 231 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 13 [ 5 2 467 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 14 [ 6 1 496 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 15 [ 6 2 422 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 16 [ 15 1 213 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 17 [ 7 1 323 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 18 [ 5 2 163 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 19 [ 21 1 110 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 20 [ 18 1 134 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 21 [ 5 1 207 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 22 [ 5 1 189 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 23 [ 6 1 127 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 24 [ 6 1 202 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 25 [ 10 1 468 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 26 [ 9 5 152963 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 27 [ 10 1 682 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 28 [ 25 1 180 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 29 [ 9 2 43025 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 30 [ 25 1 217 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 31 [ 28 1 121 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 32 [ 5 1 131 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 33 [ 10 2 26123 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Stopped by limit on insertions
% 3.26/3.45
% 3.26/3.45 Model 34 [ 9 1 137 ] (0.00 seconds, 250000 Inserts)
% 3.26/3.45
% 3.26/3.45 Resetting weight limit to 10 after 45 givens.
% 3.26/3.45
% 3.81/4.01
% 3.81/4.01
% 3.81/4.01 Changing weight limit from 10 to 11.
% 3.81/4.01
% 3.81/4.01 Stopped by limit on insertions
% 3.81/4.01
% 3.81/4.01 Model 35 [ 6 2 145 ] (0.00 seconds, 250000 Inserts)
% 3.81/4.01
% 3.81/4.01 Stopped by limit on insertions
% 3.81/4.01
% 3.81/4.01 Model 36 [ 31 1 134 ] (0.00 seconds, 250000 Inserts)
% 3.81/4.01
% 3.81/4.01 Stopped by limit on insertions
% 3.81/4.01
% 3.81/4.01 Model 37 [ 8 1 418 ] (0.00 seconds, 250000 Inserts)
% 3.81/4.01
% 3.81/4.01 Stopped by limit on insertions
% 3.81/4.01
% 3.81/4.01 Model 38 [ 9 2 18537 ] (0.00 seconds, 250000 Inserts)
% 3.81/4.01
% 3.81/4.01 Resetting weight limit to 11 after 50 givens.
% 3.81/4.01
% 5.44/5.69
% 5.44/5.69
% 5.44/5.69 Changing weight limit from 11 to 10.
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 39 [ 9 2 17412 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 40 [ 11 2 158 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 41 [ 38 1 254 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 42 [ 14 1 324 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 43 [ 11 10 248867 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 44 [ 18 1 5254 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 45 [ 40 1 161 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 46 [ 6 1 114 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 47 [ 38 1 308 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 48 [ 10 1 604 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Stopped by limit on insertions
% 5.44/5.69
% 5.44/5.69 Model 49 [ 12 6 166989 ] (0.00 seconds, 250000 Inserts)
% 5.44/5.69
% 5.44/5.69 Resetting weight limit to 10 after 65 givens.
% 5.44/5.69
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 50 [ 14 6 109196 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 51 [ 10 1 736 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 52 [ 45 1 177 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 53 [ 11 2 113 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 54 [ 14 1 158 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 55 [ 45 1 173 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 56 [ 13 1 116 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 57 [ 48 1 144 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 58 [ 10 6 69491 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 59 [ 12 1 174 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 60 [ 7 2 144 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 61 [ 49 1 109 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 62 [ 24 2 210 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 63 [ 13 1 7197 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 64 [ 19 7 68900 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 65 [ 9 1 150 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 66 [ 20 4 41843 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 67 [ 18 1 166 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 68 [ 28 21 242841 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 69 [ 15 1 243 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 70 [ 60 3 20022 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 71 [ 24 1 290 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 72 [ 62 2 195 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 73 [ 25 1 594 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 74 [ 62 1 195 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 75 [ 64 1 287 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 76 [ 26 27 213472 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 77 [ 21 17 176677 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 78 [ 27 1 203 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 79 [ 64 1 197 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 80 [ 18 1 127 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 81 [ 76 2 147 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 82 [ 12 1 343 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 83 [ 76 2 424 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 84 [ 21 8 44132 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 85 [ 12 2 17939 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 86 [ 71 2 154 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 87 [ 12 10 105744 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 88 [ 81 1 159 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 89 [ 13 2 11413 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 90 [ 13 1 132 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 91 [ 24 1 162 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 92 [ 22 39 249802 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 93 [ 21 2 2442 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 94 [ 31 2 938 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 15.71/15.97 Model 95 [ 32 1 136 ] (0.00 seconds, 250000 Inserts)
% 15.71/15.97
% 15.71/15.97 Stopped by limit on insertions
% 15.71/15.97
% 34.44/34.64 Model 96 [ 17 6 30964 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 97 [ 33 2 2419 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 98 [ 28 3 9576 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 99 [ 30 34 170352 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 100 [ 30 11 48722 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 101 [ 29 7 31184 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 102 [ 15 2 993 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 103 [ 23 2 292 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 104 [ 22 1 556 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 105 [ 26 9 34303 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 106 [ 24 2 832 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 107 [ 96 2 128 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 108 [ 36 40 212401 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 109 [ 22 8 34377 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 110 [ 26 1 823 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 111 [ 41 45 193535 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 112 [ 27 1 220 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 113 [ 83 2 172 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 114 [ 34 9 169224 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 115 [ 81 2 114 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 116 [ 91 2 335 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 117 [ 23 15 58144 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 118 [ 37 2 753 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 119 [ 28 2 406 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 120 [ 116 2 457 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 121 [ 17 1 113 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 122 [ 39 1 198 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 123 [ 18 1 315 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 124 [ 42 30 127413 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 125 [ 120 1 155 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 126 [ 18 1 281 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 127 [ 20 1 163 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 128 [ 25 2 147 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 129 [ 123 2 726 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 130 [ 31 19 66532 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 131 [ 108 2 202 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 132 [ 100 1 218 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 133 [ 30 2 316 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 134 [ 51 2 1444 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 135 [ 32 2 1059 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 136 [ 41 2 613 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 137 [ 111 2 173 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 138 [ 21 2 348 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 139 [ 115 2 564 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 140 [ 41 2 179 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 34.44/34.64 Model 141 [ 121 12 152956 ] (0.00 seconds, 250000 Inserts)
% 34.44/34.64
% 34.44/34.64 Stopped by limit on insertions
% 34.44/34.64
% 67.24/67.48 Model 142 [ 42 2 140 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 143 [ 103 2 201 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 144 [ 34 2 440 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 145 [ 135 2 2066 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 146 [ 46 33 85784 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 147 [ 33 1 188 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 148 [ 112 1 158 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 149 [ 30 46 139574 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 150 [ 37 40 111190 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 151 [ 117 3 5116 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 152 [ 36 2 167 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 153 [ 42 15 34412 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 154 [ 48 2 136 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 155 [ 23 2 247 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 156 [ 122 1 350 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 157 [ 38 52 133722 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 158 [ 45 2 1169 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 159 [ 138 2 173 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 160 [ 32 2 221 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 161 [ 49 95 216658 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 162 [ 29 2 831 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 163 [ 143 2 110 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 164 [ 45 50 155089 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 165 [ 27 2 1138 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 166 [ 147 2 271 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 167 [ 33 2 160 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 168 [ 32 1 170 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 169 [ 152 1 174 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 170 [ 134 4 4060 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 171 [ 29 2 667 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 172 [ 131 28 108406 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 173 [ 70 17 32052 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 174 [ 41 2 2872 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 175 [ 165 2 196 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 176 [ 25 2 490 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 177 [ 146 2 408 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 178 [ 36 3 701 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 179 [ 156 2 143 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 180 [ 70 38 65926 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 181 [ 34 3 1234 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 182 [ 37 2 506 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 183 [ 138 3 1026 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 184 [ 49 39 76597 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 185 [ 50 4 2154 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 67.24/67.48 Model 186 [ 49 2 1235 ] (0.00 seconds, 250000 Inserts)
% 67.24/67.48
% 67.24/67.48 Stopped by limit on insertions
% 67.24/67.48
% 112.52/112.78 Model 187 [ 172 6 21701 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 188 [ 58 2 747 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 189 [ 148 11 26327 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 190 [ 56 14 70292 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 191 [ 37 13 36479 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 192 [ 35 2 185 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 193 [ 57 3 1726 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 194 [ 40 117 240656 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 195 [ 66 99 174211 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 196 [ 34 8 36561 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 197 [ 35 2 115 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 198 [ 177 2 144 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 199 [ 76 52 80302 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 200 [ 45 2 218 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 201 [ 55 32 52883 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 202 [ 48 2 388 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 203 [ 183 8 11531 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 204 [ 34 2 901 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 205 [ 37 3 167 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 206 [ 66 2 267 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 207 [ 41 2 550 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 208 [ 168 3 204 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 209 [ 60 2 1121 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 210 [ 64 109 167193 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 211 [ 60 68 108986 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 212 [ 43 3 718 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 213 [ 165 2 608 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 214 [ 47 2 134 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 215 [ 176 2 202 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 216 [ 71 115 159158 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 217 [ 49 78 147397 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 218 [ 175 3 210 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 219 [ 36 2 338 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 220 [ 192 3 2306 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 221 [ 58 183 245767 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 222 [ 190 13 22082 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 223 [ 52 2 1049 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 224 [ 57 2 155 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 225 [ 184 2 120 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 226 [ 55 2 167 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 227 [ 67 5 13639 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 228 [ 46 3 887 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 229 [ 185 3 552 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 230 [ 47 3 937 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 112.52/112.78 Model 231 [ 200 2 144 ] (0.00 seconds, 250000 Inserts)
% 112.52/112.78
% 112.52/112.78 Stopped by limit on insertions
% 112.52/112.78
% 300.03/300.21 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------