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