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