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