(1,28) (2,20) (3,21) (4,27) (5,16) (6,26) (7,19) (8,18) (9,23) (10,24) (12,25) (13,30) (14,17) 
nodes: 3263  conflicts: 42  modelTime: 661  solveTime: 5046  totalTime: 5713  modelSize: 41298  readTime: 6 size: 13