(1,24) (2,26) (3,30) (5,19) (6,25) (7,23) (8,20) (9,18) (10,29) (11,16) (12,28) (14,21) (15,27) 
nodes: 3450  conflicts: 49  modelTime: 657  solveTime: 5409  totalTime: 6072  modelSize: 41293  readTime: 6 size: 13