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