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