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