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