(1,17) (2,23) (5,27) (6,25) (7,24) (8,28) (10,19) (11,16) (12,20) (13,26) (14,30) (15,21) 
nodes: 1202  conflicts: 70  modelTime: 662  solveTime: 994  totalTime: 1663  modelSize: 41292  readTime: 7 size: 12