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