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