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