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