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