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