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