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