(1,16) (2,18) (3,11) (4,17) (5,21) (6,24) (7,30) (8,28) (9,10) (12,25) (13,29) (14,22) (15,19) (20,26) 
nodes: 104157  conflicts: 57  modelTime: 1614  solveTime: 231044  totalTime: 232673  modelSize: 72262  readTime: 15 size: 14