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