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