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