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