(1,19) (2,12) (3,10) (4,14) (5,23) (6,17) (7,27) (8,24) (9,26) (11,22) (13,21) (15,18) (16,20) (25,30) (28,29) 
nodes: 1376  conflicts: 0  modelTime: 1473  solveTime: 2657  totalTime: 4141  modelSize: 72264  readTime: 11 size: 15