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