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