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