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