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