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