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