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