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