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