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