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