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