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