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