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