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