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