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