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