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