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