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