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