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