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