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