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