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