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