(1,24) (3,17) (4,21) (5,16) (7,20) (8,29) (9,25) (10,26) (11,18) (12,30) (13,28) (14,22) (15,23) 
nodes: 3928  conflicts: 38  modelTime: 660  solveTime: 6357  totalTime: 7024  modelSize: 41293  readTime: 7 size: 13