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