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