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