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