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