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