(1,29) (2,19) (3,22) (4,23) (5,30) (6,26) (7,21) (8,25) (9,16) (10,28) (11,24) (12,18) (13,17) (14,20) (15,27) 
nodes: 730  conflicts: 7  modelTime: 1177  solveTime: 1938  totalTime: 3124  modelSize: 41299  readTime: 9 size: 15