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