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