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