(1,30) (2,26) (3,21) (4,28) (5,24) (6,27) (7,20) (8,23) (9,16) (12,22) (13,18) (14,19) (15,17) 
nodes: 502  conflicts: 54  modelTime: 1129  solveTime: 1645  totalTime: 2783  modelSize: 41293  readTime: 9 size: 13