(1,29) (2,17) (3,20) (4,19) (5,25) (6,28) (7,22) (8,30) (9,16) (10,23) (12,21) (13,26) (14,27) (15,18) 
nodes: 5136  conflicts: 30  modelTime: 683  solveTime: 11996  totalTime: 12685  modelSize: 41298  readTime: 6 size: 14