(1,30) (2,24) (3,16) (4,27) (5,18) (7,22) (8,25) (10,21) (11,19) (12,26) (13,28) (14,20) (15,29) 
nodes: 3068  conflicts: 32  modelTime: 661  solveTime: 3854  totalTime: 4522  modelSize: 41293  readTime: 6 size: 13