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