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