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