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