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