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