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