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