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