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