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