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