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