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