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