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