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