(1,23) (2,27) (3,21) (4,28) (5,26) (6,19) (7,20) (8,29) (9,25) (10,16) (11,30) (12,24) (13,22) (15,17) 
nodes: 3045  conflicts: 27  modelTime: 660  solveTime: 5838  totalTime: 6506  modelSize: 41298  readTime: 7 size: 14