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