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