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