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