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