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