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