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