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