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