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