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