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