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