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