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