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