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