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