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