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