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