(1,18) (3,29) (4,25) (5,16) (7,19) (8,26) (9,28) (10,20) (11,17) (12,30) (13,21) (14,24) (15,22) 
nodes: 1262  conflicts: 47  modelTime: 662  solveTime: 2047  totalTime: 2716  modelSize: 41292  readTime: 7 size: 13