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