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