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