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