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