(1,11) (2,13) (3,16) (4,19) (5,25) (6,21) (7,15) (8,29) (9,17) (10,12) (14,28) (18,30) (20,22) (23,26) 
nodes: 36827  conflicts: 43  modelTime: 1715  solveTime: 158692  totalTime: 160426  modelSize: 72265  readTime: 19 size: 14