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