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