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