(1,27) (3,17) (4,18) (5,16) (6,19) (7,26) (8,30) (9,23) (10,21) (12,29) (13,24) (14,20) (15,28) 
nodes: 1104  conflicts: 30  modelTime: 657  solveTime: 1415  totalTime: 2079  modelSize: 41292  readTime: 7 size: 13