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