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