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