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