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