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