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