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