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