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