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