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