(1,27) (2,26) (3,20) (4,23) (5,21) (6,30) (7,24) (8,18) (9,25) (10,28) (11,17) (12,29) (14,22) (15,19) 
nodes: 2627  conflicts: 32  modelTime: 657  solveTime: 4590  totalTime: 5254  modelSize: 41292  readTime: 7 size: 14