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