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