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