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