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