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