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