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