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