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