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