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