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