(1,17) (2,18) (3,19) (4,30) (5,20) (6,12) (7,8) (9,23) (10,15) (11,29) (13,22) (14,28) (16,21) (24,26) (25,27) 
nodes: 13649  conflicts: 16  modelTime: 975  solveTime: 57254  totalTime: 58239  modelSize: 72285  readTime: 10 size: 15