(1,27) (2,25) (4,28) (5,18) (6,20) (7,24) (8,21) (9,19) (10,29) (11,16) (12,30) (13,17) (14,22) (15,26) 
nodes: 3879  conflicts: 42  modelTime: 656  solveTime: 5719  totalTime: 6381  modelSize: 41298  readTime: 6 size: 14