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