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