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