(1,26) (2,22) (4,18) (5,25) (6,27) (7,24) (8,19) (9,23) (10,20) (11,21) (12,29) (13,30) (14,17) (15,28) 
nodes: 2383  conflicts: 20  modelTime: 655  solveTime: 2713  totalTime: 3376  modelSize: 41292  readTime: 7 size: 14