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