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