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