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