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