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