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