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