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