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