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