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