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