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