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