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