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