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