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