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