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