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