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