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