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