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