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