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