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