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